トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1dc2ef1b781dff1fa1fb24763a6ee2a0e4833c1ad940013c742632a1834f54ff OP_CHECKSIG

201dc2ef1b781dff1fa1fb24763a6ee2a0e4833c1ad940013c742632a1834f54ffac

コントロールブロック

c11c748ac485aad4af9b7aad9f84b67427757f11217a5a8a0c8052cb4ea8350083 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1c748ac485aad4af9b7aad9f84b67427757f11217a5a8a0c8052cb4ea8350083

リーフハッシュ（TapLeaf）

d9496a779849819772d376610bd4da8d8b78567e16a3690212c0cf0ec6b1aeec

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d9496a779849819772d376610bd4da8d8b78567e16a3690212c0cf0ec6b1aeec
2. TapBranch(d9496a77…c6b1aeec, 1c748ac4…a8350083) = 3adc0a779e97aea7b9c769775619e1f3b1c17a1f139d1bb78f51f33d257c3211

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

3adc0a779e97aea7b9c769775619e1f3b1c17a1f139d1bb78f51f33d257c3211

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

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

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

b7e7ad525a86c3fec6a7bf8027747232210c38bcbca45281b54743ffcb09d9cf9f694ab2aebd69dce6f40dfd3bc87506e8bea228d30360993c7f40bd0c569be9