トランザクション

入力 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 以上）。

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

e55b5ca1c3c50c3aa21cc260090e85860d4c56d417de5b051b43ac5c2ad541549005fd4ea968f129941a2d2dbc4779de96c8d9b996059b10749712a20651d9ae