トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

88a78455da3132f4b0d9870a12ff489aa0a0b45d2934f6b7b08aba42da5c8fab OP_CHECKSIG

2088a78455da3132f4b0d9870a12ff489aa0a0b45d2934f6b7b08aba42da5c8fabac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3154fabe7d120a2c5537e816e3f30d7cdb7e49b1be0bb69efe6217412a0820c8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3154fabe7d120a2c5537e816e3f30d7cdb7e49b1be0bb69efe6217412a0820c8
2. TapBranch(3154fabe…2a0820c8, 46c7eccf…1725e9fa) = ef322c96eb254dae6f47621cc2492508a683c5646ee15691e88906934e1c63a6

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

ef322c96eb254dae6f47621cc2492508a683c5646ee15691e88906934e1c63a6

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

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

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

d24c8f2daec991b810a45e7bd71b8d5e11161b8b9c986edd7a159f14e43665b0589cd8c45fa6bd37552740fe0fccf03df9f4a077a17004c0d83da0932a342c8c