トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

629d9682214b3d2ac0d5e69e0512acbb9d3b85c529be40d84c0ca0e29d466dde OP_CHECKSIG

20629d9682214b3d2ac0d5e69e0512acbb9d3b85c529be40d84c0ca0e29d466ddeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4ca46fb9542c8063435d338620031479784d2f7a604ad1aa6c35448315cfea2a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4ca46fb9542c8063435d338620031479784d2f7a604ad1aa6c35448315cfea2a
2. TapBranch(4ca46fb9…15cfea2a, 46c7eccf…1725e9fa) = f98305bce8af6a7e7e1654a50a86c6eaa502e2627edf48c0113ebc590fd52972

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

f98305bce8af6a7e7e1654a50a86c6eaa502e2627edf48c0113ebc590fd52972

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

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

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

8e68dfaf53b5f2c6cd7f29269afc8c0e4e3f3556f3c5120c0d4d45d45059e9a33118e1c7116060973192d2a2d2082c1ab528589eda64a53569e81d71c6149c98