トランザクション

入力 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 以上）。

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

6813ae0193ef0afc820d2c640adb5d90113d269cae797a0d4ade538329dd4f972dab1e3be84ef2bd60640a1b2ae9d8aa610f0f321db162a72acf62e357c28c8c