トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c62f777c78222d5a78cf2df94719a128cb89824aef165e44af66144a5db62c0a OP_CHECKSIG

20c62f777c78222d5a78cf2df94719a128cb89824aef165e44af66144a5db62c0aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

caba9e2c6c2a19f64329a3fead00861c08d9cf54b40c89f7f7f659d1ea111ffc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = caba9e2c6c2a19f64329a3fead00861c08d9cf54b40c89f7f7f659d1ea111ffc
2. TapBranch(caba9e2c…ea111ffc, 46c7eccf…1725e9fa) = d570b3f96f6e45798b38426511bd65df3b6abeeec13c828f06f708ed8adcb144

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

d570b3f96f6e45798b38426511bd65df3b6abeeec13c828f06f708ed8adcb144

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

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

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

8912b16984065719ca666cf2a93b2aa516c4ec309dcc3af43dd9de9a0f5f55060c250a4add7d36e593ef5bcbaa7db7a94fd12c6f4f051e6386202052bd482917