トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c0b4e28876ab9b5caab2550943c5df59d99376fe3b4d920d9cb599968f5a64c6 OP_CHECKSIG

20c0b4e28876ab9b5caab2550943c5df59d99376fe3b4d920d9cb599968f5a64c6ac

コントロールブロック

c15402380dfcbedb22ef641692c1d609cc0feb30a49f20eea32b91f7faf160510f (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

5402380dfcbedb22ef641692c1d609cc0feb30a49f20eea32b91f7faf160510f

リーフハッシュ（TapLeaf）

fe5f79a7191c2f60f1133ebf5c9ec77c0e3ad0c07857e47007c3c5de58971ae6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fe5f79a7191c2f60f1133ebf5c9ec77c0e3ad0c07857e47007c3c5de58971ae6
2. TapBranch(fe5f79a7…58971ae6, 5402380d…f160510f) = 673d50613f01c109017ed32be67d669d28fb9d3f4e6fb44484ed45177d1250b3

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

673d50613f01c109017ed32be67d669d28fb9d3f4e6fb44484ed45177d1250b3

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

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

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

7730c72985837c015d3774b0166a5aed5087f3ea8c4a96638d8a98d722fe55d8b9a1bdc133a3043904d0a91c37a35f5efce52bd8477db28979d6271407bcde39