トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5e0496e33b56494bc10b4b283e4be8afa09353db302c791dbc3415fbdc8bba7d OP_CHECKSIG

205e0496e33b56494bc10b4b283e4be8afa09353db302c791dbc3415fbdc8bba7dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f2db0eac699a5e8b2527c3dc38d6c4e5aff8c6e4119e9147904208d01d0bab9e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f2db0eac699a5e8b2527c3dc38d6c4e5aff8c6e4119e9147904208d01d0bab9e
2. TapBranch(f2db0eac…1d0bab9e, 46c7eccf…1725e9fa) = a22e4700a82487e904ba371e94367fb996c04fd084d3ae03ba25f2e55a1dd532

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

a22e4700a82487e904ba371e94367fb996c04fd084d3ae03ba25f2e55a1dd532

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

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

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

c010b294fd49c62aafb55d6e565d63ea10831ca7852a56900fa4f505e76886b87ffbb9373e787b479184c319f46f29d0eaa2ccbc7fe7ee5bec6a184dd94a6d57