トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

83ec4fea7032e92b7d56158331d083f14dccbc20ebd15667ccd49b22d77333ee OP_CHECKSIG

2083ec4fea7032e92b7d56158331d083f14dccbc20ebd15667ccd49b22d77333eeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

030cb16977e1b7c51112fbc05f6f74eb05caa22d9ff23707b103b0dee24da8fb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 030cb16977e1b7c51112fbc05f6f74eb05caa22d9ff23707b103b0dee24da8fb
2. TapBranch(030cb169…e24da8fb, 46c7eccf…1725e9fa) = 986b51ceadcc2d6153bce158fc2c8a4707d12e597ee968c9ee961e1292e52fd2

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

986b51ceadcc2d6153bce158fc2c8a4707d12e597ee968c9ee961e1292e52fd2

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

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

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

45daa0a7ff64ac099df5ec0665f89f959702801c8fb78426514b2fdc4889afd3f6846a2ccaf24e262d5a223e4e7b729e8c983b276ca48581f6a9f58e6b6220e2