トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0e49ee4c414561d213d7898adadca68d667aa2e0220c756f4e87890eb3ace807 OP_CHECKSIG

200e49ee4c414561d213d7898adadca68d667aa2e0220c756f4e87890eb3ace807ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0a837bd0bf0162c300f3da219f7638f427230019999f60f7d9f3fd1bbeed2a68

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0a837bd0bf0162c300f3da219f7638f427230019999f60f7d9f3fd1bbeed2a68
2. TapBranch(0a837bd0…beed2a68, 46c7eccf…1725e9fa) = 4d05d5c33a9e1dd839cee3ce97698d533144b1ac42deaeb0c6d7a0aab7919aec

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

4d05d5c33a9e1dd839cee3ce97698d533144b1ac42deaeb0c6d7a0aab7919aec

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

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

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

2b3c5efbd6b68b4723c86c0ade6e4c1d3abecf3da3f815820a0161f22ecc2e4a306fb9213bfe00e5070d2b8091ee84cd13a6c95cb28caaf10d4867af3c819391