トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

12190c71dc712c3f0bbf3cb7608267083e342d5cf57c25239a08a716b5ff74ed OP_CHECKSIG

2012190c71dc712c3f0bbf3cb7608267083e342d5cf57c25239a08a716b5ff74edac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f8deb6a92a2904ae6c17257e4a2552bd84ab4357d05239c7d47d8719772331b9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f8deb6a92a2904ae6c17257e4a2552bd84ab4357d05239c7d47d8719772331b9
2. TapBranch(f8deb6a9…772331b9, 46c7eccf…1725e9fa) = aa858297d25b8c27f1b2562ed9816d288b9c95b0d0463acaa099dace8c8bd430

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

aa858297d25b8c27f1b2562ed9816d288b9c95b0d0463acaa099dace8c8bd430

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

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

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

1a023aef60dae666e8cc8dff5952c28c4dfaa30e236e60ed9c3f0e315def9d031235577b29d409d97294702f26c03b3ead191180a95002d72b2ad2df9748dd5f