トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7ccbc61e188c604318fcbb120898c1e664b74533b8b9f4e0f682c842371418eb OP_CHECKSIG

207ccbc61e188c604318fcbb120898c1e664b74533b8b9f4e0f682c842371418ebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

841c2c130f32c3e8327d62cad7d90c071aa25c67db2e4dd8ffc1c713968b366b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 841c2c130f32c3e8327d62cad7d90c071aa25c67db2e4dd8ffc1c713968b366b
2. TapBranch(841c2c13…968b366b, 46c7eccf…1725e9fa) = e44340f874394ab69f7c1ee1099575a50a44a1bc03dae42a48c2cc29b85266d6

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

e44340f874394ab69f7c1ee1099575a50a44a1bc03dae42a48c2cc29b85266d6

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

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

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

f75ca0e70c8322481eb40ce85f39edc54a3416b42f05794879b803fad25cda5e3f775bf94de84ee50de9f0ba3436e489db500f3c11641030d76a164e169bf6ae