トランザクション

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

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

ab9df78447509d3716678b6fdbac765b466f5c0afcbacdeb2a0829ba95406465d5dfb73afb04eea1d73ee09cc1209eb1d4fa0a74a0c17f770feb87c86bf86bd5