トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

063da3ebe2236cc5a2a4619e757c5337ef345fb8b211ad5e8ea2aab0b5932d3b OP_CHECKSIG

20063da3ebe2236cc5a2a4619e757c5337ef345fb8b211ad5e8ea2aab0b5932d3bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f26f72409b6c7c73ba12c6a661b2f0dc133c5f6d998bd0c0ba1e4c48c9521cbd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f26f72409b6c7c73ba12c6a661b2f0dc133c5f6d998bd0c0ba1e4c48c9521cbd
2. TapBranch(f26f7240…c9521cbd, 46c7eccf…1725e9fa) = bee9a279405e907eff6579cafa04ae3978f07a9b8e325029a3e9a99f7fad32f8

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

bee9a279405e907eff6579cafa04ae3978f07a9b8e325029a3e9a99f7fad32f8

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

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

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

20dee4913396406e655ef645c1e5971616d627adad14150a5faa0791ad0bae04a4c65db8c7541507f5ef9c03759233819d3212a8ddf8d5512cf0c88884fcf60b