トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

838dfae30b7bd6f06feaaf048a5f9a934f9c9209c9a32795ffa6b7fe57e6845f OP_CHECKSIG

20838dfae30b7bd6f06feaaf048a5f9a934f9c9209c9a32795ffa6b7fe57e6845fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e8cd3ad792e7ccf13cbb9754a1383fcc1bad3cb6b0eadea371c4cc83034c5ada

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e8cd3ad792e7ccf13cbb9754a1383fcc1bad3cb6b0eadea371c4cc83034c5ada
2. TapBranch(e8cd3ad7…034c5ada, 46c7eccf…1725e9fa) = ed12c1988eacad8d462c9dbd126e2056b0d0a3914b365ee658d52b21f11fff27

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

ed12c1988eacad8d462c9dbd126e2056b0d0a3914b365ee658d52b21f11fff27

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

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

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

aa55e5ad80bea7bb63d7e28396a98f3c84e7b84bcd8bc7b8687c107ea4c727ce6b34428ef2a886a181c96d9e5cbf545602488a8a82312bacaa5f8cd0d7bf704b