トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b321fe72abb35734f6d6365fb2844f940b0d2e9682fbd4a339e99efc2d238a80 OP_CHECKSIG

20b321fe72abb35734f6d6365fb2844f940b0d2e9682fbd4a339e99efc2d238a80ac

コントロールブロック

c1094726acb6f8fbee81bcd36365c98645a9b1398149f048687ee23d0ffff4eb50 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

094726acb6f8fbee81bcd36365c98645a9b1398149f048687ee23d0ffff4eb50

リーフハッシュ（TapLeaf）

b0eb1386748d85469ce1d9e8961a206165dd1e3ae37dd83decb7501884dab4c4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b0eb1386748d85469ce1d9e8961a206165dd1e3ae37dd83decb7501884dab4c4
2. TapBranch(b0eb1386…84dab4c4, 094726ac…fff4eb50) = a9ffb7d9b015040f719405ed2ced6acd2722dd3b00cb9ed22ae1be9051d14dc7

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

a9ffb7d9b015040f719405ed2ced6acd2722dd3b00cb9ed22ae1be9051d14dc7

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

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

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

32ef9089a08bcc1c88ebdcc8c333e076baf42a4e06be63675e50cf35dafb9a29481eb592a243ea8684575991383750a8bf4e9184a47a1ecd7fb9a510e0ae723e