トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

de62b2e54d86738cf4536ed5476eb889153518307845c12684f32aa71e7deb1d OP_CHECKSIG

20de62b2e54d86738cf4536ed5476eb889153518307845c12684f32aa71e7deb1dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9a6de36ec2c624cc23469af998ed845e72a8ee4838206df7b5de2796c05f790d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9a6de36ec2c624cc23469af998ed845e72a8ee4838206df7b5de2796c05f790d
2. TapBranch(9a6de36e…c05f790d, 46c7eccf…1725e9fa) = 94befa7d9290334332c76b96179d5e9c02d5809af2cf894a63dc8a585a8ca5ce

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

94befa7d9290334332c76b96179d5e9c02d5809af2cf894a63dc8a585a8ca5ce

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

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

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

a10b21e882d0e64d7066ae50604a882f121666e4d75620f0895c9106363a31020ec8519dc84ca3101dd0286ce747bfa382da7685c82c98372c2dde2bedb7cab5