トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9d92df033b12ebe2eccb10e5b37b35069347681a294bb8cbe7b8bd31b244b3c0 OP_CHECKSIG

209d92df033b12ebe2eccb10e5b37b35069347681a294bb8cbe7b8bd31b244b3c0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6c7d196df7cc82a6e33b371505395350f733c778cb6fe187923b2f603770b2fe

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6c7d196df7cc82a6e33b371505395350f733c778cb6fe187923b2f603770b2fe
2. TapBranch(6c7d196d…3770b2fe, 46c7eccf…1725e9fa) = 97eb99e573b3d4b4c1592309a4a62c713ca0c215d53ff8d99d30c2f0c2fa2362

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

97eb99e573b3d4b4c1592309a4a62c713ca0c215d53ff8d99d30c2f0c2fa2362

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

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

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

70c1a6f7e2a8c39f01f1524aa1d8efcc80223af977b4d731a47c0b739963ae3afec70c5bcc2d6e00e73f0f0a7282dea1c34d0115ca832a514ca9fed246542ff4