トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b4309ead371023a8f68caeb325daa2365604705cc8af7b4c817a0b0cc51e31c6 OP_CHECKSIG

20b4309ead371023a8f68caeb325daa2365604705cc8af7b4c817a0b0cc51e31c6ac

コントロールブロック

c18dc62289c218bbcab1bd6764943d2d4cc83462f6ab6a1295a608c9ec80c19dd8 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

8dc62289c218bbcab1bd6764943d2d4cc83462f6ab6a1295a608c9ec80c19dd8

リーフハッシュ（TapLeaf）

0968ee371bcd2903a15c9679ec28da69a9487d008c150f310c7ddc9176e20567

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0968ee371bcd2903a15c9679ec28da69a9487d008c150f310c7ddc9176e20567
2. TapBranch(0968ee37…76e20567, 8dc62289…80c19dd8) = 67fbe6a3c53cf65c21ac2631552be8b46cc7ec405bb186faf85a084719c55806

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

67fbe6a3c53cf65c21ac2631552be8b46cc7ec405bb186faf85a084719c55806

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

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

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

ba7bb6acc28efd8ccc0f66048c97837e0470ecb7a3364286cb8f737624c6487b650e2368be5df63c9dc516e3bdab39536183983d42000fb65e7891a8da7b053b