トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c0f346505aa11ae1fd52c4d8e71fdc28e95163c4fd2889de0747d0084820128f OP_CHECKSIG

20c0f346505aa11ae1fd52c4d8e71fdc28e95163c4fd2889de0747d0084820128fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

19445ec0f9e3433315adbfc2a1c80b091c69e8575fae64e3bbd226f69435a82d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 19445ec0f9e3433315adbfc2a1c80b091c69e8575fae64e3bbd226f69435a82d
2. TapBranch(19445ec0…9435a82d, 46c7eccf…1725e9fa) = 9e3b1d2af79803ab9421321039bdae1ba6194ad41390ecb79aeb696b3e7b7a62

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

9e3b1d2af79803ab9421321039bdae1ba6194ad41390ecb79aeb696b3e7b7a62

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

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

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

27d9f1ad8b15f1bc10dcc7c2cb1b29824e9e98bbaa43e80c46c134ab4e563b204ddbe33fb903632525edccd6dad1e09aed576c39054248678677b5520a99a8fa