トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4ecf5e81061edfb96bc86e810c66ec11c872e6d227150a9d16c860d06ce0940a OP_CHECKSIG

204ecf5e81061edfb96bc86e810c66ec11c872e6d227150a9d16c860d06ce0940aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3e4668d500a117ae2c0451ea9f8b794edd450ac0fc546fa5c15f414a65b39cdf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3e4668d500a117ae2c0451ea9f8b794edd450ac0fc546fa5c15f414a65b39cdf
2. TapBranch(3e4668d5…65b39cdf, 46c7eccf…1725e9fa) = 10e7cfcf824d22efece6c34b707a8d88c9bc6d21720bb505ba0fa212f37cd966

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

10e7cfcf824d22efece6c34b707a8d88c9bc6d21720bb505ba0fa212f37cd966

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

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

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

3b26b837ae9499ae60ed31736b79fb499d1f2f11003a7807b4a87dc0137111598e8a315c8f6bf28d26650f3ca50812915f1cd658e47ad2ad78166c9913f716dd