トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9617ef5c72e30fb613081e169becbcc977e9893d618e89fa99ea77d30cf222e OP_CHECKSIG

20c9617ef5c72e30fb613081e169becbcc977e9893d618e89fa99ea77d30cf222eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a7a70be46dd6fd1d6ec962e484376e8eb6c91e06e4c1418d5f5e7e8c87e4a913

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a7a70be46dd6fd1d6ec962e484376e8eb6c91e06e4c1418d5f5e7e8c87e4a913
2. TapBranch(a7a70be4…87e4a913, 46c7eccf…1725e9fa) = 0a014c293b461356c923de20279509f6b9c3c468555d29530ec025f1e0cc679b

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

0a014c293b461356c923de20279509f6b9c3c468555d29530ec025f1e0cc679b

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

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

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

8b416b3c5a210b413ea63ca23fb469de23bdb6f4a847fbeeacc4d06994d0c007f92caab837385f2bb182678e6ec127855b34c18ab6c8a61f76acb355be4b06b5