トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5604e644dbb0d4eea06f95349344b2ead457e1b6640da3154992b08b38af7c4d OP_CHECKSIG

205604e644dbb0d4eea06f95349344b2ead457e1b6640da3154992b08b38af7c4dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5c29b24dc75e685b130626eb9d5d0898a6b02e93eecf6936a4317b5bc29a7bdb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5c29b24dc75e685b130626eb9d5d0898a6b02e93eecf6936a4317b5bc29a7bdb
2. TapBranch(5c29b24d…c29a7bdb, 46c7eccf…1725e9fa) = 20351aa1bdb4cb44a81adc00971ae812556f78aefe86927ec0a412ba26e5ef47

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

20351aa1bdb4cb44a81adc00971ae812556f78aefe86927ec0a412ba26e5ef47

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

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

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

663f2fae08632f77ded96a1a5354c24ad888514f60e2536b640685f130c605ec76a7b6fbadc7834c6bb248cac3c41e991a6217eccc471977d551b7bfafc9bc77