トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

557826705b4bc1c6382c8c48fe76f814ac27c4c1d20c4be000ad22606bba344d OP_CHECKSIG

20557826705b4bc1c6382c8c48fe76f814ac27c4c1d20c4be000ad22606bba344dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a932d34060eac79c91755983155cd7fec66976b9de795bdc26815fee17eb8ae0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a932d34060eac79c91755983155cd7fec66976b9de795bdc26815fee17eb8ae0
2. TapBranch(a932d340…17eb8ae0, 46c7eccf…1725e9fa) = 28201799d9256dcd07921dab99f461bb8519a5680da816f527869caeef672034

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

28201799d9256dcd07921dab99f461bb8519a5680da816f527869caeef672034

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

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

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

c4949702589bddb842e6145db01cdf842cd8cfdf985b05b75a4968533b7b28f2772273589e531e76b692822c38ed75a9d4d2a09bc43e44a62a31564fc1e20d7f