トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ae49d1afbc111bb6e4aa33f50143022552bfa7725e9deba5dc825a05bea8fa11 OP_CHECKSIG

20ae49d1afbc111bb6e4aa33f50143022552bfa7725e9deba5dc825a05bea8fa11ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c3154c1dfa22a401a3d9844847cd0d496c3650698d1cbf729b916af3e042141a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c3154c1dfa22a401a3d9844847cd0d496c3650698d1cbf729b916af3e042141a
2. TapBranch(c3154c1d…e042141a, 46c7eccf…1725e9fa) = 7fda364d1cf951a6d66941608866483fcbd89a302a6f4d5fa2f225fb3b990c6a

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

7fda364d1cf951a6d66941608866483fcbd89a302a6f4d5fa2f225fb3b990c6a

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

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

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

680d6eaf4eb7c1833aba5be6b60d068fd6a00855cac70cd65fa04ffa163ab18ce71da9f228b55755efb7620f097827ac423ecd13cf994921eb1891e9c1ac8971