トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5dfabb64858f763420972cbec2b6a2d3c39141284e96a1bdd80f0de949a7a8d1 OP_CHECKSIG

205dfabb64858f763420972cbec2b6a2d3c39141284e96a1bdd80f0de949a7a8d1ac

コントロールブロック

c193db3616f50439f8512883f8130d75b3dcb8ed383c30a19e31d217c57cca757a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

93db3616f50439f8512883f8130d75b3dcb8ed383c30a19e31d217c57cca757a

リーフハッシュ（TapLeaf）

0c1dbce15dc8d6240114c64b913233dddca65839ff4ea3c7c476187f80e6ea38

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0c1dbce15dc8d6240114c64b913233dddca65839ff4ea3c7c476187f80e6ea38
2. TapBranch(0c1dbce1…80e6ea38, 93db3616…7cca757a) = b9ac232502c97e473f7c31a1ffd32072dc7e7b8b7ab67dd3e397fe6208471ee7

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

b9ac232502c97e473f7c31a1ffd32072dc7e7b8b7ab67dd3e397fe6208471ee7

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

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

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

66b4d61f6ef3945c3679395dbbc0792929b42d610a51da5419cfc90f045a8681ef94d9dfad037b11be5f2ce569879d1a5995f04fcd0fd763b75f515c8c821d5a