トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6e94c29a0c8687956aa6953f20cbbf4e6cdbf82c46ddc46a8edce45cd3fe9d45 OP_CHECKSIG

206e94c29a0c8687956aa6953f20cbbf4e6cdbf82c46ddc46a8edce45cd3fe9d45ac

コントロールブロック

c1388cce84c0a3e57c8af1007f6fb7720a00361b372f6636093b7c601064695d3e (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

388cce84c0a3e57c8af1007f6fb7720a00361b372f6636093b7c601064695d3e

リーフハッシュ（TapLeaf）

1178d2e35db0071f4fe75acfc31e5654c367a0f0753d2d880fe54c6b2fae12ee

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1178d2e35db0071f4fe75acfc31e5654c367a0f0753d2d880fe54c6b2fae12ee
2. TapBranch(1178d2e3…2fae12ee, 388cce84…64695d3e) = 1950460d2e379ece4590c4f7e4d554a7bcf50f027967af69714edc325211b945

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

1950460d2e379ece4590c4f7e4d554a7bcf50f027967af69714edc325211b945

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

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

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

95ed5ada8ac10764d785d32c61fc3bae83e8a1d14d1ea47d03eaf3b58c32a58dc4dc70ec6b78b6668b50e946db2f9d59de52be8930656f5595e2bfd194a09f33