トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

477c478c445e4fc2513c185095ff37746b20fdbed1efff9b3ae77b9283cca461 OP_CHECKSIG

20477c478c445e4fc2513c185095ff37746b20fdbed1efff9b3ae77b9283cca461ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

62f51472d435bf9e96e419a0cae71347dc4519da448566b3bd8c96d04a666c21

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 62f51472d435bf9e96e419a0cae71347dc4519da448566b3bd8c96d04a666c21
2. TapBranch(62f51472…4a666c21, 46c7eccf…1725e9fa) = 240f1a5e0e41f3fd620cf6e838c70460f21c5c6ca0f2992f2107776319ada9a1

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

240f1a5e0e41f3fd620cf6e838c70460f21c5c6ca0f2992f2107776319ada9a1

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

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

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

9d0f96384ed4e97eef05a1b15aa3b3f9cdd10835430ee0e3791870aad837c223409b9b87a0f285abd60dfd1feccca8aafb0d2d08afd7b78c65028860d7d78381