トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2887d93a6a0d76e940e1b35da7e7235e8b607308caa804c2cd93d7d671824d56 OP_CHECKSIG

202887d93a6a0d76e940e1b35da7e7235e8b607308caa804c2cd93d7d671824d56ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b6d928b8156a80d138018bf484428fb9be7f8e8616f38bd3283b2ca8bb1ad693

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b6d928b8156a80d138018bf484428fb9be7f8e8616f38bd3283b2ca8bb1ad693
2. TapBranch(b6d928b8…bb1ad693, 46c7eccf…1725e9fa) = ff75864bd1be3fe8474582f9775515e9234472d38b32bce9cb5e0c2fde20c687

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

ff75864bd1be3fe8474582f9775515e9234472d38b32bce9cb5e0c2fde20c687

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

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

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

2483fd06bd6b35d55b1ed98910fef57402510babe5d848d7ad2a9d00a88d3991747938c0df636a4e7d465c6a9db7ccb41d1ab74da44ab1d253b07d5eeaa03bd2