トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

26bc2d84ebe6eb2ce4ebd71cb1f716d8a9371ab2e415ec2b751055bb27164e8a OP_CHECKSIG

2026bc2d84ebe6eb2ce4ebd71cb1f716d8a9371ab2e415ec2b751055bb27164e8aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

87bc87c099a5ec273a71849ccb525f40b49c6a5a6867b31954d72f8ba5b3e11f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 87bc87c099a5ec273a71849ccb525f40b49c6a5a6867b31954d72f8ba5b3e11f
2. TapBranch(87bc87c0…a5b3e11f, 46c7eccf…1725e9fa) = 5b818125afd3779ca3b75de39848e132c291986167133d35f1fcf8b897f1a698

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

5b818125afd3779ca3b75de39848e132c291986167133d35f1fcf8b897f1a698

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

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

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

5b5527e6ce99a0a7c7a2d20e62eaa0a34bea844d4e182639fc6ce6dd1a55ef72507af80f5f761fdc5e3308f6d4575b67f61661484367e2c47552d505837b13b0