トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8143cf50d0473cabd1481c77beb20e78b331682321ea2b1f8957e78081e37036 OP_CHECKSIG

208143cf50d0473cabd1481c77beb20e78b331682321ea2b1f8957e78081e37036ac

コントロールブロック

c1ba7829709433467504e7bb55b951894a8b9aa8cc1df8629951b69524615ed87d (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ba7829709433467504e7bb55b951894a8b9aa8cc1df8629951b69524615ed87d

リーフハッシュ（TapLeaf）

3b0e5bc4b18ccdccd4493b140b3dd9efdf1e69a27cee71e9839f2bc5a1fc4dca

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3b0e5bc4b18ccdccd4493b140b3dd9efdf1e69a27cee71e9839f2bc5a1fc4dca
2. TapBranch(3b0e5bc4…a1fc4dca, ba782970…615ed87d) = ab2ebf15e3e1acd15e16c9fd769c641afa0870acefefe761d59c0857478d295a

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

ab2ebf15e3e1acd15e16c9fd769c641afa0870acefefe761d59c0857478d295a

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

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

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

ccc7ad9a050438a183e7ea0805039419179565abb07fc315a38724bda5d8f2791176f268d03392bd31006d2336476504b5ab2d6ff4582a1a30261379a344e4d7