トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3ad48c9ffc37afd2381cb47c9f97a84ffa8598f0878f8c0b11a7cbf8e9504aa1 OP_CHECKSIG

203ad48c9ffc37afd2381cb47c9f97a84ffa8598f0878f8c0b11a7cbf8e9504aa1ac

コントロールブロック

c1e48039ea1b7fb3e5963890d733823dc023192be38ce1ee8e481655f6123a122c (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

e48039ea1b7fb3e5963890d733823dc023192be38ce1ee8e481655f6123a122c

リーフハッシュ（TapLeaf）

5b3bb01106267789649ec0f4440461c2bf579dfe9bbc64b54564d53faba5f934

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5b3bb01106267789649ec0f4440461c2bf579dfe9bbc64b54564d53faba5f934
2. TapBranch(5b3bb011…aba5f934, e48039ea…123a122c) = d02c58e58b1916978e329f7449dbe5a2fef4355c5bbad28bfe72dee4936e57b4

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

d02c58e58b1916978e329f7449dbe5a2fef4355c5bbad28bfe72dee4936e57b4

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

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

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

20a6384943441fb7b154cf4df0f40c6e6c9dc7428c0fac45f7cf6045bf5590d34e9b3ffd453a89e7b4569c5d511bd99e36f3fd37ef7f2e68512d6c9d5762da9f