トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4d40dd74abd7fb6601cf9397d25f82e6cd9a0f9246c2454f916eaf667cdfb2c0 OP_CHECKSIG

204d40dd74abd7fb6601cf9397d25f82e6cd9a0f9246c2454f916eaf667cdfb2c0ac

コントロールブロック

c11f666c07bd102f3682f254092a57df25efa2d830e47936ea3a1c6954d627b065 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1f666c07bd102f3682f254092a57df25efa2d830e47936ea3a1c6954d627b065

リーフハッシュ（TapLeaf）

2038fff7d695cac9bce83dc61800d62d4d53c33184c09e75fa8608ab7b57990c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2038fff7d695cac9bce83dc61800d62d4d53c33184c09e75fa8608ab7b57990c
2. TapBranch(2038fff7…7b57990c, 1f666c07…d627b065) = 24091e3501ce0990b7c214601de8209b762bcae9c9b47a3a1fdadfdecbc58745

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

24091e3501ce0990b7c214601de8209b762bcae9c9b47a3a1fdadfdecbc58745

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

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

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

dd40d5f44da0e04de8a11f3a71fc69de202beb0a662a6eae1efb6210c0bf98d26adc6cc77d480bd8fc4bb857255908009b9b6dc05234ccf7cc1cf990ea5f7034