トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

67ea81edabaedf7c4a20c1b5f2251b754f244596707a05060425901846698e3d OP_CHECKSIG

2067ea81edabaedf7c4a20c1b5f2251b754f244596707a05060425901846698e3dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c5816b48c49e3cde6d1c556f282a8721cd7610a46989e3492ea7486b47583874

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c5816b48c49e3cde6d1c556f282a8721cd7610a46989e3492ea7486b47583874
2. TapBranch(c5816b48…47583874, 46c7eccf…1725e9fa) = 94bb8efda291f4bc824b36e1c20ad9506d243d8a208c52eccb3be2fe30eeef96

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

94bb8efda291f4bc824b36e1c20ad9506d243d8a208c52eccb3be2fe30eeef96

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

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

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

f53cb23d88ad9ecb2419bd37f993d8e40eca25259e042bb4bac9aee5acb953722c2b9cc5ee0bf7627455e6ff11bd9457a2408f830d9a0d74580c0113a16ccefe