トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7f8d61b2b85b55616517195b7230a2f5722b21dd94883d04d1dbf9e53fe9a1de OP_CHECKSIG

207f8d61b2b85b55616517195b7230a2f5722b21dd94883d04d1dbf9e53fe9a1deac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7fac7928091c78b211c9b9eb727fa1015e378011775cb5b902756bf10c650000

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7fac7928091c78b211c9b9eb727fa1015e378011775cb5b902756bf10c650000
2. TapBranch(7fac7928…0c650000, 46c7eccf…1725e9fa) = da095f93f9ac4231db2e574d7ea86debe1850e3c249aa97f683c1ab8fda552cd

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

da095f93f9ac4231db2e574d7ea86debe1850e3c249aa97f683c1ab8fda552cd

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

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

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

a2cc682804e663d7722a77d95da8410ccacd87b522eca4f0365547991232827993e65284e4dcb21265836d0203094d9f597022f4ddd12d0733c6e7ba75ca81a9