トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

235eeb1d357e14496d846bd5e1cbe0a5b02182a1be98138891d8eb4c594fcd10 OP_CHECKSIG

20235eeb1d357e14496d846bd5e1cbe0a5b02182a1be98138891d8eb4c594fcd10ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

407bd7e94c5d8df6c3cb2622b347d0ee5a957e148a6fa0ae25a581be84d0d268

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 407bd7e94c5d8df6c3cb2622b347d0ee5a957e148a6fa0ae25a581be84d0d268
2. TapBranch(407bd7e9…84d0d268, 46c7eccf…1725e9fa) = a5471308e3ab4d9d1481fb379c53f50106fbf96a8d32d745c412a292b2f80cd6

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

a5471308e3ab4d9d1481fb379c53f50106fbf96a8d32d745c412a292b2f80cd6

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

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

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

57c0ec2a8265fb427e4988bc7eb698c306043a89069a58afc871c6620db88059e83c83d4c27c7adf1c5f1e23811047d0a5eea4b4634e924f06111e1c58a88504