トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d24e03becc771e3b2785880817214d82bb2d92ada568a23b633c70e3e9b3284e OP_CHECKSIG

20d24e03becc771e3b2785880817214d82bb2d92ada568a23b633c70e3e9b3284eac

コントロールブロック

c1ea61a8ed764aa2dc26732e19c9291eccecba416bd7d476d86a39d20a14742a4d (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ea61a8ed764aa2dc26732e19c9291eccecba416bd7d476d86a39d20a14742a4d

リーフハッシュ（TapLeaf）

82209c13ba0708a23ed7ea101c1dc8e3d4184923b06df286a0a820daae4b5550

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 82209c13ba0708a23ed7ea101c1dc8e3d4184923b06df286a0a820daae4b5550
2. TapBranch(82209c13…ae4b5550, ea61a8ed…14742a4d) = a3f8dc61e93d30c89d6cad86d7b34929f62e8152f2c2883080d0405acb7c5f89

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

a3f8dc61e93d30c89d6cad86d7b34929f62e8152f2c2883080d0405acb7c5f89

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

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

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

edb21d99dbd9d2b108116a825ffc1d5086173c35443c18e35fe7c66a0f23c0e5216f1d9f94fc10d64f0efa5e2fbcc678d2ac2a3411f4cacaf68696585fec73a0