トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

92e11e8243b013a1058c54d8fe91e8fad45f57c0ab3790ce5ce925162a44643e OP_CHECKSIG

2092e11e8243b013a1058c54d8fe91e8fad45f57c0ab3790ce5ce925162a44643eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

100cc8a9ab69a8e3328d56c217594e655d68fda01183a95b8641bef879f5a287

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 100cc8a9ab69a8e3328d56c217594e655d68fda01183a95b8641bef879f5a287
2. TapBranch(100cc8a9…79f5a287, 46c7eccf…1725e9fa) = 031003a1238ce2f3127868bb62708d5e259a2858db122173e062f5e836b15e80

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

031003a1238ce2f3127868bb62708d5e259a2858db122173e062f5e836b15e80

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

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

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

22331ce8109394e34970a58b240cb838bcd65b6423055b56cd91cfca67859ad922513463598870ad0ec6800b0856152f92c1938ae162de40586d7faa52295863