トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

72015836e39b590e1634bf87c9ec88a94e80db06da387976ce3135c4a7add071 OP_CHECKSIG

2072015836e39b590e1634bf87c9ec88a94e80db06da387976ce3135c4a7add071ac

コントロールブロック

c10e7f84050377c3e6927bf216d91a15df7b9133d62f87b2389bee509a3028ec18 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0e7f84050377c3e6927bf216d91a15df7b9133d62f87b2389bee509a3028ec18

リーフハッシュ（TapLeaf）

ebf28afcd20e159abcb0e9e3ff122b2565c56a00be09f036941a47c7b2e6b669

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ebf28afcd20e159abcb0e9e3ff122b2565c56a00be09f036941a47c7b2e6b669
2. TapBranch(ebf28afc…b2e6b669, 0e7f8405…3028ec18) = ef42c18bab9d05617bc41fdea3ecf5a659ff1a4916046c2c39fca466078e05d7

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

ef42c18bab9d05617bc41fdea3ecf5a659ff1a4916046c2c39fca466078e05d7

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

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

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

6454a0dd2e06fa86bfb2fcae8cef4f77cb118a108b59bc36590fcd8484dffe3c638e0e0b5b021aee01b9737918a45f74f38984cc48f715f418b48d0f2b7cef46