トランザクション

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

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

e0ec3fc8d7cf05ba0f1b94fb79bc97dae676db35e44488276b352873e5b15ff26acf083183be75364543cfd6a6a568d8b846dd068fca8947f01546a05c02352d