トランザクション

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

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

1d5712a23936e9efe565b4abe0d2c1c7599b48919024525621bf5309bd8482d2ca3cfad55e2c79aaff04f6a703732fa2def824815f69def8639ac41f7453dd6c