トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

32539528d1cfb450fba71e7e4a0df3c1d5a8b2d40304213d32da514fc252cae7 OP_CHECKSIG

2032539528d1cfb450fba71e7e4a0df3c1d5a8b2d40304213d32da514fc252cae7ac

コントロールブロック

c1068d85294f29b22fd7a9483be6592b9c3d43d2016a556b42b8283da0bc48739b (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

068d85294f29b22fd7a9483be6592b9c3d43d2016a556b42b8283da0bc48739b

リーフハッシュ（TapLeaf）

3049e55373b7a83e91f3e8e5f5141868825848af4fbec36744dad8534de98d46

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3049e55373b7a83e91f3e8e5f5141868825848af4fbec36744dad8534de98d46
2. TapBranch(3049e553…4de98d46, 068d8529…bc48739b) = 371ba085444e67569ca9367c61bbd0e938ea46c685e526be335aac5eaf7f064d

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

371ba085444e67569ca9367c61bbd0e938ea46c685e526be335aac5eaf7f064d

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

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

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

a78a34cf2452e6d7fec2ff251fbe95df4e3c90477a57c4b5fb4f819150023d5517b6a3d8775e472ff92d327fce57c17f95d23d6b48d55de67d87025ce0097d19