トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1cfa12bdc290e09e6248e1a06bfadc183405e51210536fde8e1a5672ba80e1e9 OP_CHECKSIG

201cfa12bdc290e09e6248e1a06bfadc183405e51210536fde8e1a5672ba80e1e9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2e6d979043284fff6dc6d3493128601fcb66175a5dcbe0c1c3cacad336646682

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2e6d979043284fff6dc6d3493128601fcb66175a5dcbe0c1c3cacad336646682
2. TapBranch(2e6d9790…36646682, 46c7eccf…1725e9fa) = a834b40385ce2afde6e734bba1ef07476a569afd97864182929d835aa94635df

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

a834b40385ce2afde6e734bba1ef07476a569afd97864182929d835aa94635df

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

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

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

8bb5fe72c226f22f50e00450a3ba38403aa0d38a1051705e29047ce406c158f1dc2bc6dd5e585bb419261c64f8827b58bd5bc19ec2f30b33ed3739373a45eed3