トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6bf9fddc668029ffbf53707f275334a9ee9551b20416ea1c1697078b5e1dbf60 OP_CHECKSIG

206bf9fddc668029ffbf53707f275334a9ee9551b20416ea1c1697078b5e1dbf60ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d20f51a570631b89e1e22cefbf2fde60076647ab28635a4f680c2985cc1eaf98

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d20f51a570631b89e1e22cefbf2fde60076647ab28635a4f680c2985cc1eaf98
2. TapBranch(d20f51a5…cc1eaf98, 46c7eccf…1725e9fa) = e2aa6b07581ba4aa1ed4598b8fa43cd64da56880ad2027d6d180f59b450ee3bd

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

e2aa6b07581ba4aa1ed4598b8fa43cd64da56880ad2027d6d180f59b450ee3bd

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

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

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

625c12eb60b2477b73f88cdabf3483a6e1ea82c713eb0991e08d97e65fb12f85e044960518fa48f2de311819df04d302c8d391884b5b2c0e08a31b7cf81f2847