トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a2112d6264782e5f959bcbd0d4a568a31a1ddf35185794692096cadf726eb0a0 OP_CHECKSIG

20a2112d6264782e5f959bcbd0d4a568a31a1ddf35185794692096cadf726eb0a0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1329fa2ad7d17c04db8ef76005c5c33ab2f07cb2fd47ea25154714091ce6a7d5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1329fa2ad7d17c04db8ef76005c5c33ab2f07cb2fd47ea25154714091ce6a7d5
2. TapBranch(1329fa2a…1ce6a7d5, 46c7eccf…1725e9fa) = 8865e87305579047c6c4e77b7b22053a7e7848d685f26abb4c7fdfa726edf3ec

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

8865e87305579047c6c4e77b7b22053a7e7848d685f26abb4c7fdfa726edf3ec

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

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

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

4e1c0dd5e17f822b4acade42b054cf92543d80bb8ed46007ec2551b0eb741fa0c3f1407de3443910bc9da8f684f925b7ad47f670c4719cc6794e2c4b364c7cb6