トランザクション

入力 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 以上）。

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

2bec320dd7fd61286b8066d5423c546f03638a9759642caa136bff29eea60b83abb22628a7268a5b69f5cedc99cbb7df8cec5ce572dbba3b2d493453fe7e5e1a