トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f32846de8e3df185d644f45fc29729a8f8e2312537c60cb570802300e95d014f OP_CHECKSIG

20f32846de8e3df185d644f45fc29729a8f8e2312537c60cb570802300e95d014fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

94ddbbd2b0ff9ca3efaaacdf57a396b9b31f1971fb49aa41cb4edb2392712727

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 94ddbbd2b0ff9ca3efaaacdf57a396b9b31f1971fb49aa41cb4edb2392712727
2. TapBranch(94ddbbd2…92712727, 46c7eccf…1725e9fa) = c49acbf1fb5e681d40ac2b29f11f9ad24cce8a8077a63be87025bfcf860dcf15

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

c49acbf1fb5e681d40ac2b29f11f9ad24cce8a8077a63be87025bfcf860dcf15

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

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

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

2339e4ed93f86df5f47af14fe13d06d0caa2da32c1451efef833ca97f31b1a9d2fe309938bc69dee5504583d2a308814d2899a62e4371c655c6a1422500d67f8