トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

27e9222ad8d1812be0a50a3dfbc327be757701ee9f26b872c11b1a351e4757c3 OP_CHECKSIG

2027e9222ad8d1812be0a50a3dfbc327be757701ee9f26b872c11b1a351e4757c3ac

コントロールブロック

c18c8dfdbddc74fb10f0c1107bb27b521f1c18c9cc70ce682f183c7d358eb66831 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

8c8dfdbddc74fb10f0c1107bb27b521f1c18c9cc70ce682f183c7d358eb66831

リーフハッシュ（TapLeaf）

48d55eb0cd864ad9027b528aed6ce4a5698498ba899202c368fcca3fc4d97bf5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 48d55eb0cd864ad9027b528aed6ce4a5698498ba899202c368fcca3fc4d97bf5
2. TapBranch(48d55eb0…c4d97bf5, 8c8dfdbd…8eb66831) = 860ab037483088d76e8c1be9f7853cd54d8143dd7cf1a2a3cd62aa5201f1d0ea

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

860ab037483088d76e8c1be9f7853cd54d8143dd7cf1a2a3cd62aa5201f1d0ea

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

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

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

859ad55b35343607a4455caf5d0fa8409c0e696dcbb57f00ae909a3829d409d43d81ca771be04df55de4e1e39aac9b5ed52b377dfced97266a4a898049eea692