トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

19480f3a441e09b5fbc4e920e60ad0e031f63e95f9726749e48862a9705c3d59 OP_CHECKSIG

2019480f3a441e09b5fbc4e920e60ad0e031f63e95f9726749e48862a9705c3d59ac

コントロールブロック

c1b17d0888a3d310ea33c49e7971cdd0c12fc8f26fbe11c788d12504ab608f754a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b17d0888a3d310ea33c49e7971cdd0c12fc8f26fbe11c788d12504ab608f754a

リーフハッシュ（TapLeaf）

05e476baf6102c7cb751ddc53a4eb98f7c06c417069aaf633afa3187b5a34e74

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 05e476baf6102c7cb751ddc53a4eb98f7c06c417069aaf633afa3187b5a34e74
2. TapBranch(05e476ba…b5a34e74, b17d0888…608f754a) = 39d0fc802c3b335aeebfcad3d47e479fcd458b710ff824f300b46d55ece2f087

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

39d0fc802c3b335aeebfcad3d47e479fcd458b710ff824f300b46d55ece2f087

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

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

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

b437fea48f8acc2794b0b55dd05577866a241a05e062e4416c3e70b4f6e4d96c0c67b287772e3a4fd93894d014ddb800368d0363bed1d18c94db61594ae65b14