トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4aaaa294a704b9bf7264503a44f0cd47f53866ec5b7dea95b86dad07c30bbf1c OP_CHECKSIG

204aaaa294a704b9bf7264503a44f0cd47f53866ec5b7dea95b86dad07c30bbf1cac

コントロールブロック

c1ddc68e53d8e03350f97603d1148d898348c109925fd0167b6338a86dd9181f3d (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ddc68e53d8e03350f97603d1148d898348c109925fd0167b6338a86dd9181f3d

リーフハッシュ（TapLeaf）

54b0720d059decf50be66c2f65737dd00274dfbf31f2cd34b7aec8d5c3dd4b9a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 54b0720d059decf50be66c2f65737dd00274dfbf31f2cd34b7aec8d5c3dd4b9a
2. TapBranch(54b0720d…c3dd4b9a, ddc68e53…d9181f3d) = 3b0ab35ab0bd0d2273b43ea9fd881fc3e7ca2c7977adffffd621058b859e7c0f

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

3b0ab35ab0bd0d2273b43ea9fd881fc3e7ca2c7977adffffd621058b859e7c0f

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

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

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

b60be0193a998692024ce1bc0e6c5a8c6b965e7ce4c382ac6b7c1c26240557c216be0c61f1f9a95370985152e5826054d4dcd747e04c43c66ee90e7a32a99bd4