トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cff0d0d9bbad1ff4c9db18b7ec9b2d4186b53ae64324a4f707ebbae5edb3bcff OP_CHECKSIG

20cff0d0d9bbad1ff4c9db18b7ec9b2d4186b53ae64324a4f707ebbae5edb3bcffac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cf79c496ee3687d02531c97b593134935419dfd55f6bc080d2a152751b977f23

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cf79c496ee3687d02531c97b593134935419dfd55f6bc080d2a152751b977f23
2. TapBranch(cf79c496…1b977f23, 46c7eccf…1725e9fa) = c7a29bff1aeb7ba97e812c3fa8664dbde67566ccd3492fc21e6f53ed176dda0a

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

c7a29bff1aeb7ba97e812c3fa8664dbde67566ccd3492fc21e6f53ed176dda0a

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

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

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

accd5c0f9174b40439d41fb5cce70a51aafe3ebde3f668892593c6693552658f2736717a5a925d0eb7aacab69a2525b82c01ae0fe2824543c7328d183d2b309e