トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4db5157816a1c7f9b2749bd4eaad1db62c602c971d67e9b82f35699595b609ad OP_CHECKSIG

204db5157816a1c7f9b2749bd4eaad1db62c602c971d67e9b82f35699595b609adac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ae3f2b6f320c5741f4ed224cc9ae93b31f02ab21402090f8b30e782287e57dd1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ae3f2b6f320c5741f4ed224cc9ae93b31f02ab21402090f8b30e782287e57dd1
2. TapBranch(ae3f2b6f…87e57dd1, 46c7eccf…1725e9fa) = 602e779de87fb8dd146483ab5d384227a5760be205e60bc962f4c51cf8e44715

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

602e779de87fb8dd146483ab5d384227a5760be205e60bc962f4c51cf8e44715

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

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

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

539be0b29cfe4165f7a1613abdba612b183d5747a6341a5ae371eee75c82196958b6c095019bb7a888ff3e8d25234a3dd3e1bcb6b4d54762eb20790c673e4838