トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

99559b26d5676dea92a0e602d6953932866bde4b142e155802110165a6700256 OP_CHECKSIG

2099559b26d5676dea92a0e602d6953932866bde4b142e155802110165a6700256ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8ea06dee99f6ed5278edbc1491fffebd2d467471b766581e95da46bc42c24d8e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8ea06dee99f6ed5278edbc1491fffebd2d467471b766581e95da46bc42c24d8e
2. TapBranch(8ea06dee…42c24d8e, 46c7eccf…1725e9fa) = e1357ab8c654484cafcd93b5bae8dd441d6dcc416411e68eea14654fdba097e2

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

e1357ab8c654484cafcd93b5bae8dd441d6dcc416411e68eea14654fdba097e2

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

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

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

8ad4f060101ed65f5fd718afd2070d2837d1b827ade5b0da2fcc0dd89f8be3f41f8ee9caafc62da8be37f46f8ba34c86209eb9aebc0181a57cc5a9c9e33cb97a