トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

43cb03d35b4639be59e666e1011cade617b0471f7ef23f3e44fa690acf87e3e5 OP_CHECKSIG

2043cb03d35b4639be59e666e1011cade617b0471f7ef23f3e44fa690acf87e3e5ac

コントロールブロック

c1314b66f74c096a04c87914ada0967c7b708724427309bf6b149f95e209be7d7d (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

314b66f74c096a04c87914ada0967c7b708724427309bf6b149f95e209be7d7d

リーフハッシュ（TapLeaf）

e93cf2865c26e8af1fa1ca3a0fc87362af39f0b63527c365770d252d17c41de9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e93cf2865c26e8af1fa1ca3a0fc87362af39f0b63527c365770d252d17c41de9
2. TapBranch(e93cf286…17c41de9, 314b66f7…09be7d7d) = bc0ddaa68141885e1f4a708237236a110a85efb51e5c47ccf55f109b60ed69de

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

bc0ddaa68141885e1f4a708237236a110a85efb51e5c47ccf55f109b60ed69de

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

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

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

d09d1bddf40627d3b3f367ab1e4d6786690a3d8671aa052a373badcc053672d2a8bab72d74958760b7659302e49527b7f7e9a012233de732fbb1174520f2ab3c