トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c20597ae668fd46306624ab1f0669ecb06f9e447336dce7992adc2d0d356ef50 OP_CHECKSIG

20c20597ae668fd46306624ab1f0669ecb06f9e447336dce7992adc2d0d356ef50ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

890a868af53209f21b3455dfaa4b1c9a755aaea165aa75ed226a852025c3f687

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 890a868af53209f21b3455dfaa4b1c9a755aaea165aa75ed226a852025c3f687
2. TapBranch(890a868a…25c3f687, 46c7eccf…1725e9fa) = 723a0c42212b75a939f0e376a3d412daf53d0613c8f2085e984a210bf04d149c

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

723a0c42212b75a939f0e376a3d412daf53d0613c8f2085e984a210bf04d149c

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

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

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

45d65c443b6f74b68e842f5d2d1bbbe18dc411d9b57a0f85f8bbce4bd30a59edca68f7cbc3c72ff4847c1fabf0ddaf5af35e74243a4e6a13b9966b2f2dc834d2