トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

24a9f5a7cdaf58e5a8d18ae36d66bfd4c82d58bbbdfd358ba45c9973b0676319 OP_CHECKSIG

2024a9f5a7cdaf58e5a8d18ae36d66bfd4c82d58bbbdfd358ba45c9973b0676319ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

06dd8ccef639e24c09d00315656559dad8bbf83e3fd23f74eec27cdd35c61916

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 06dd8ccef639e24c09d00315656559dad8bbf83e3fd23f74eec27cdd35c61916
2. TapBranch(06dd8cce…35c61916, 46c7eccf…1725e9fa) = 0047a4ab6d9329771d49d0d044786af0a1dacfa549ade767d2cf86e72056a47a

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

0047a4ab6d9329771d49d0d044786af0a1dacfa549ade767d2cf86e72056a47a

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

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

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

de9ce8f787d35bf2926af7786d5d520d2f0b4f2af082d406d25df61ac5cfdc31de7ef82442effc05ee95593c60dc7b2deabe35e4f1da0037e170226cf4be9762