トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

29d3a8762c80597de21365a364202ace49c97b06cbea0972ed7b2332f0096dce OP_CHECKSIG

2029d3a8762c80597de21365a364202ace49c97b06cbea0972ed7b2332f0096dceac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f6ffed6adfe80bc71360022d78d5533b2842beedf8c505612a09902c399e7307

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f6ffed6adfe80bc71360022d78d5533b2842beedf8c505612a09902c399e7307
2. TapBranch(f6ffed6a…399e7307, 46c7eccf…1725e9fa) = ad8d1a9d280bb421c2a44cf964251f94f1ac99edd3029336feab47cfa6e358a1

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

ad8d1a9d280bb421c2a44cf964251f94f1ac99edd3029336feab47cfa6e358a1

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

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

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

e8131e79bfdeefb431ba01a7c8f66a25064318f6d0c3c55de329dca9fd6db6651dd5ae31141ce7cc27be03abbdae6388ebca875cd39dd62717eb25d43cfdc523