トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

95bc6d97956c7139856efec80219731287a1b835d355681b357f5d548e8ee85c OP_CHECKSIG

2095bc6d97956c7139856efec80219731287a1b835d355681b357f5d548e8ee85cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e30d82421600d24ec2235885f83f4c2ee66b5cfa8707f7a29e921b0ab7e7ae43

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e30d82421600d24ec2235885f83f4c2ee66b5cfa8707f7a29e921b0ab7e7ae43
2. TapBranch(e30d8242…b7e7ae43, 46c7eccf…1725e9fa) = f5418bd4e397161e66abbee9125ff5c2c7f6bdff4ff3a5f3702582873284dd1c

出力のウィットネスプログラム

f5418bd4e397161e66abbee9125ff5c2c7f6bdff4ff3a5f3702582873284dd1c

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

1df5e29bbb05e614d21efb98fd248837257146b217a1b57877f7c0f32f809c6529c0501032a8d744bcdd01b62facf3961eb1040c7731c9bb999c99047111ebbb