トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ecdf38f7b498070a967dc38bf1810cb828b36192789c7075cc89f149a3ab290 OP_CHECKSIG

209ecdf38f7b498070a967dc38bf1810cb828b36192789c7075cc89f149a3ab290ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7cba10a6394557c7815753f02bbc4e5054f8a05d124cbdf505469dcc61f8c103

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7cba10a6394557c7815753f02bbc4e5054f8a05d124cbdf505469dcc61f8c103
2. TapBranch(7cba10a6…61f8c103, 46c7eccf…1725e9fa) = 908679f970f2c9e3c0e87cdddcfb49248ee3fbeb6633a037bb98363d0946e5a4

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

908679f970f2c9e3c0e87cdddcfb49248ee3fbeb6633a037bb98363d0946e5a4

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

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

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

870839d23d97d747d116e1ff684b083be931b91fa75f110c3966ec16e0981ff2c06ddf35eb0a171a950328c3a2db66b0d92602562881c6ec1e6057f896d53549