トランザクション

入力 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 以上）。

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

8938e3bbf0428d23fac8bce0177d5910eeb3875641efb35879ea9b02018a9e9ed60f5bf687962ed3f14e236dc75d08e7dae761b79ee044196c480600865d8d1f