トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b48d5ca32b1ce1443105358cd07bd3b78b6e132c9013e6599ab63293ef032f6d OP_CHECKSIG

20b48d5ca32b1ce1443105358cd07bd3b78b6e132c9013e6599ab63293ef032f6dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8ea59f12fc57483644ba478e0bef418a2fef4f52c29a39e837cbe11913d73c87

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8ea59f12fc57483644ba478e0bef418a2fef4f52c29a39e837cbe11913d73c87
2. TapBranch(8ea59f12…13d73c87, 46c7eccf…1725e9fa) = 319198500dc7a26359ac9a839f3842ca6b269fa5520350b43c1f722bf5c277c6

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

319198500dc7a26359ac9a839f3842ca6b269fa5520350b43c1f722bf5c277c6

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

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

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

8080c2203ac36fd1627110fb95b97f88a0d7f928da5b8cb0ece5794135b293187558277af145503e06e8e91b9e1a2987cc761316cd89c0a38e528f9990f0b517