トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7e99987277dd058a465633e63aeb2481714438e571b5f606bd1e5c1868633faa OP_CHECKSIG

207e99987277dd058a465633e63aeb2481714438e571b5f606bd1e5c1868633faaac

コントロールブロック

c1163f82bcd4ae9c8c51923ec34b4447f63595889b7cbf27cb143e582f8645e084 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

163f82bcd4ae9c8c51923ec34b4447f63595889b7cbf27cb143e582f8645e084

リーフハッシュ（TapLeaf）

c57a33b42206365dcf41b933ab3f836e218ad350d7b409ccdb98710a9e1345c6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c57a33b42206365dcf41b933ab3f836e218ad350d7b409ccdb98710a9e1345c6
2. TapBranch(c57a33b4…9e1345c6, 163f82bc…8645e084) = e0595f3317f2da82241177a1b4ea28458b5738cfddbd7b5d8cae4c8e120fdb02

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

e0595f3317f2da82241177a1b4ea28458b5738cfddbd7b5d8cae4c8e120fdb02

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

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

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

6d8711c9a95a1537ea3ac24763cef10f5fa7840e6e584ab861dca638c38e432a1ef3feae7e9a2524c85a06880db2399bc27fa4d64c8930ecb4afa8bcb8167d11