トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9fef92a22af7b7eb75626c033b55bb9f8e111c6339650d7f968880cb338b762 OP_CHECKSIG

20c9fef92a22af7b7eb75626c033b55bb9f8e111c6339650d7f968880cb338b762ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

edd707b19a53fba5fa89c7e89f8bd336fa1440d28f29e5b942d5f0d131cf0682

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = edd707b19a53fba5fa89c7e89f8bd336fa1440d28f29e5b942d5f0d131cf0682
2. TapBranch(edd707b1…31cf0682, 46c7eccf…1725e9fa) = fd4221afa9b087121a103a117d8306455aac20dd2742fde890ec262e3cc09a3d

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

fd4221afa9b087121a103a117d8306455aac20dd2742fde890ec262e3cc09a3d

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

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

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

7f1f3f4ab83b6e65390bf0697efdd46a15cf6beaaf1f81e2161e7821ca80fb49fa17e77b95ce70170a36a51bc8c9d4518fd3d3545e3def02ee21b4b16ace39f5