トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a434d98bbc9bd5bfdb48621ff9a34d28b5c78df4361d41c3a9a9e03c41da3aeb OP_CHECKSIG

20a434d98bbc9bd5bfdb48621ff9a34d28b5c78df4361d41c3a9a9e03c41da3aebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a1ef525da2c25755d10e238f232a24a046eb39c7ed3876435f0cf11a53fbb6f0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a1ef525da2c25755d10e238f232a24a046eb39c7ed3876435f0cf11a53fbb6f0
2. TapBranch(a1ef525d…53fbb6f0, 46c7eccf…1725e9fa) = 20ad89008aaa403ad0770e1a5032ad13cf1ea584c7d764d23311acf95665be54

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

20ad89008aaa403ad0770e1a5032ad13cf1ea584c7d764d23311acf95665be54

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

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

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

014fef6e22be53206f03c0af4b64bb0b7b4071bc45e476f487676ca390f17e0eb9253e1adab40278c524daaff1865a58d612a22e825aeed3cb0c033346482273