トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

21c82122ad6f477e7e99974e930c58ae88b8500af43c693a74c2298af1d564ba OP_CHECKSIG

2021c82122ad6f477e7e99974e930c58ae88b8500af43c693a74c2298af1d564baac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c9a55edcbe47045535f11b047418db1ae530b32a18c659924947f8554929cfdc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c9a55edcbe47045535f11b047418db1ae530b32a18c659924947f8554929cfdc
2. TapBranch(c9a55edc…4929cfdc, 46c7eccf…1725e9fa) = a3721985c429152134383fe2a195f5b3a444c4eff5c5ffe4b1d7d7e7422e55ff

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

a3721985c429152134383fe2a195f5b3a444c4eff5c5ffe4b1d7d7e7422e55ff

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

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

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

cf74d1cf7de210f6411a77e2d45fae9ebf676ab901da20b44af96de2cad3ef029be91760cf6aaa0fc6b852baf0f8798bed892e4116b520876ec37f8b6c5bd422