トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9fef92a22af7b7eb75626c033b55bb9f8e111c6339650d7f968880cb338b762 OP_CHECKSIG

20c9fef92a22af7b7eb75626c033b55bb9f8e111c6339650d7f968880cb338b762ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

edd707b19a53fba5fa89c7e89f8bd336fa1440d28f29e5b942d5f0d131cf0682

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = edd707b19a53fba5fa89c7e89f8bd336fa1440d28f29e5b942d5f0d131cf0682
2. TapBranch(edd707b1…31cf0682, 46c7eccf…1725e9fa) = fd4221afa9b087121a103a117d8306455aac20dd2742fde890ec262e3cc09a3d

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

fd4221afa9b087121a103a117d8306455aac20dd2742fde890ec262e3cc09a3d

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

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

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

7a78847048875ca0c348772048a0fefed261aa9cd22b03c4878c9846080123bd90e193c4a90dc67d199e30908f5b81a25ed78b58c120cf3164c817183fcef83c