トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

254abca3e203f2fe64f840058121cf7b54d0c3c947810c74fa91fd886e461423 OP_CHECKSIG

20254abca3e203f2fe64f840058121cf7b54d0c3c947810c74fa91fd886e461423ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d803e41f8c08bcf9d1a9cdb84a6caf34c2a014279aec79f57c506ffca44c70b1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d803e41f8c08bcf9d1a9cdb84a6caf34c2a014279aec79f57c506ffca44c70b1
2. TapBranch(d803e41f…a44c70b1, 46c7eccf…1725e9fa) = 4ecc6b477ee6c23314142570c0f26045e102ebab58550cd285ff53aedb52ec8d

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

4ecc6b477ee6c23314142570c0f26045e102ebab58550cd285ff53aedb52ec8d

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

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

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

023f9d1bfbd1dacccf8722eb406a2a26e0b2b3303835c9139211e8edf3f808310975f791fdcfc5bf3394a45e66b27edaf02ee2e725c920e6ad132b3040ee584b