トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

512a48a8e58c76510c95a34d2123342114888cf8cb8e5b5fe5bc627f11764f55 OP_CHECKSIG

20512a48a8e58c76510c95a34d2123342114888cf8cb8e5b5fe5bc627f11764f55ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7f09b345b0db11e543160a4c64bb717ccb91cd1d5c64d67b6424de723d789086

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7f09b345b0db11e543160a4c64bb717ccb91cd1d5c64d67b6424de723d789086
2. TapBranch(7f09b345…3d789086, 46c7eccf…1725e9fa) = 6737d9fcc0e07890a5d72131e4716b4506ce6d0c9270b76ece542e4ab6838519

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

6737d9fcc0e07890a5d72131e4716b4506ce6d0c9270b76ece542e4ab6838519

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

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

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

66ab74638da713d64a093c13af9ed72633bcabdda60dec0aa70c93c2edce5e1ced48cbacfe4b185e9ae7262564f7cc6021868a1f29cc74fc459e0897b099d673