トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c19e75364fba3803a67a1c486983649429ef77c2433a986d252b9be56dffc293 OP_CHECKSIG

20c19e75364fba3803a67a1c486983649429ef77c2433a986d252b9be56dffc293ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f337280dffd3d95014bb21841f523ba19e18be87ef6dc28fb74135193641452d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f337280dffd3d95014bb21841f523ba19e18be87ef6dc28fb74135193641452d
2. TapBranch(f337280d…3641452d, 46c7eccf…1725e9fa) = 670e44e9bd0f8a134c1b24c5ded4f1ef486328e71d775a43b43ec65c4ba6fed2

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

670e44e9bd0f8a134c1b24c5ded4f1ef486328e71d775a43b43ec65c4ba6fed2

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

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

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

7d0c1e0944c8c1e16bbf718438c53388ba6ee972cfdbfc7ed3d078873e410697a29bacb4866aea9f65baf406dc4a87d20e927f263dbe10e46e0ba47ad3be04db