トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ff7610b6c227e4a171b78e0536d4256d857dbe3654b402bb74f3de7d09cb5a38 OP_CHECKSIG

20ff7610b6c227e4a171b78e0536d4256d857dbe3654b402bb74f3de7d09cb5a38ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f034f326437e8084873c4baf7c66a9a92ac5d61d7d5c3646980f0f6db5e411f0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f034f326437e8084873c4baf7c66a9a92ac5d61d7d5c3646980f0f6db5e411f0
2. TapBranch(f034f326…b5e411f0, 46c7eccf…1725e9fa) = 12ac8c527505c5aea10cf4e17342079d8534abb8320b9cedeca391dfd1e08fa9

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

12ac8c527505c5aea10cf4e17342079d8534abb8320b9cedeca391dfd1e08fa9

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

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

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

4c100d748605bb2afaf410c8aa981f6d27d4158cb0f18639dc5341229ba23e445987d505fcd032e5f6a5d900bb5f58c42aef5006e7a79b758a4dcb8b66701d78