トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bbd62bb03f512187e0c7d5240ccb6df18b811287f79be75fd8fd50b0498d985c OP_CHECKSIG

20bbd62bb03f512187e0c7d5240ccb6df18b811287f79be75fd8fd50b0498d985cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ef516578f1460df025168e36bbe854ff79b4a1af356da99a2a67e8ba4486ad78

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ef516578f1460df025168e36bbe854ff79b4a1af356da99a2a67e8ba4486ad78
2. TapBranch(ef516578…4486ad78, 46c7eccf…1725e9fa) = b26a3bc2176fc1ff44719e6c799907cb66c6c2cb461edd0ba40e78ff18ee3f46

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

b26a3bc2176fc1ff44719e6c799907cb66c6c2cb461edd0ba40e78ff18ee3f46

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

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

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

eb5c1bb851cb1ddc105f547ec9da45c149cab9ce5f85521d2f78a76218cb8fbf82038f9055006c812c747b5c3ba580d088f281453fb70026491a45e8a62afbdc