トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2bb7afb28ca2c4b8606b6f5b27d53de0642a1faee0e21197a110463b1bb81c1b OP_CHECKSIG

202bb7afb28ca2c4b8606b6f5b27d53de0642a1faee0e21197a110463b1bb81c1bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b63c9d6dac51000ae3652ffea8d24469699af767b844fd5df1b9716bddfeef79

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b63c9d6dac51000ae3652ffea8d24469699af767b844fd5df1b9716bddfeef79
2. TapBranch(b63c9d6d…ddfeef79, 46c7eccf…1725e9fa) = e8f32afb3fe5200df8decc1bc855b6d20ed86c9da1e249c8f4df749dbe79ed86

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

e8f32afb3fe5200df8decc1bc855b6d20ed86c9da1e249c8f4df749dbe79ed86

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

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

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

95ef7a79fca77d1be927943044d10db308cb5b6fb508dcaa7acd29ec6dcef6aa99ff759173d8268afd2fec83b17d39d4797115ed6477a1e5771b62908ceec28e