トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5a2d3f22386e89f7928a95a47872ff99b184cd45a5717ed23e69ad696de22773 OP_CHECKSIG

205a2d3f22386e89f7928a95a47872ff99b184cd45a5717ed23e69ad696de22773ac

コントロールブロック

c1ed8582798e3bb6efc9ca772150cfaf18623b29b18061367d54d31293a6017eea (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ed8582798e3bb6efc9ca772150cfaf18623b29b18061367d54d31293a6017eea

リーフハッシュ（TapLeaf）

c0d4539f892e854c8d46f91306b5da3937d93dbe478bcd34a2d77b2491ca6de3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c0d4539f892e854c8d46f91306b5da3937d93dbe478bcd34a2d77b2491ca6de3
2. TapBranch(c0d4539f…91ca6de3, ed858279…a6017eea) = 4841801fa64606a914fc57c895e5950daa2884c516e28f261a622d24829842d3

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

4841801fa64606a914fc57c895e5950daa2884c516e28f261a622d24829842d3

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

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

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

1b579635a0382028d9a3f8da98c661e1ea835ba091ca61397fa3bde73bc229991b7978eb24ebaa24077b32674fba690516df7a3295c042b18eca3b810d6b335d