トランザクション

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

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

2e2207e4a1e50c5dcd1961b9dfb504c700e7dab4d6f442b58dffe27c4e87cb1c5a059684c8e3a7136fe0fe6aa21fbfb40610ad872fab17350b98efdb931b4c16