トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

68cdd401bffeb72dd5038895f3d906eb5b5b25ec2d19eaabd17549586b91d971 OP_CHECKSIG

2068cdd401bffeb72dd5038895f3d906eb5b5b25ec2d19eaabd17549586b91d971ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b2609d2bb219f6640ac6c70ad4cc6394893fee89c884a62a9830b2bf2575c839

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b2609d2bb219f6640ac6c70ad4cc6394893fee89c884a62a9830b2bf2575c839
2. TapBranch(b2609d2b…2575c839, 46c7eccf…1725e9fa) = b02c71e43254f07712cad581ddd8a878cf52d4594f402d8764399e11a2affd94

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

b02c71e43254f07712cad581ddd8a878cf52d4594f402d8764399e11a2affd94

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

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

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

8c31bba07971b0f7ac920d432e9cbf2f4ebd4e4872f3bf5f98195c46bee9d5db208a58606346f8d9bb20a0afab257e0f34de1f374e0fdef5ddd2d79bcb71ae16