トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

177a6122ee49330a6a198d39461b882087dc62605f5c5e620d25bd9a9eff6fb3 OP_CHECKSIG

20177a6122ee49330a6a198d39461b882087dc62605f5c5e620d25bd9a9eff6fb3ac

コントロールブロック

c1cf874f825aea446994f9785fe2f0ba09d2997a2571e1f3ad339a3a49c77d9600 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

cf874f825aea446994f9785fe2f0ba09d2997a2571e1f3ad339a3a49c77d9600

リーフハッシュ（TapLeaf）

0c66278d19ae2ca03ab9da00223ddc4171f7f9ffaae4b7e1542c819efd67ae71

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0c66278d19ae2ca03ab9da00223ddc4171f7f9ffaae4b7e1542c819efd67ae71
2. TapBranch(0c66278d…fd67ae71, cf874f82…c77d9600) = 45dea0dae020387071e5036ef4aff3d0402c0c0652706938df7c8eca615f65c9

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

45dea0dae020387071e5036ef4aff3d0402c0c0652706938df7c8eca615f65c9

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

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

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

3bf26fd946948e4ffec0605116d3f3c2f5a2bf74ca0d2222e05c0d886342ad046a3114b989f9294e1eae2c9c84116782fa69d7e72d5d809b34fdcfe8e940469b