2024-06-02

BitVM 合约负责验证几个关键方面：

➢递归合并的轻客户端证明包括存款和取款根。

➢比特币区块头证明，展示最新的块头和前一个区块头的 Merkle 树，类似于 ZeroSync 中使用的那些。

➢比特币 SPV证明证实所有提款均由运营商承担财务责任。

为了优化效率并最小化比特币上的程序大小，Citrea 的验证逻辑被封装在两个 Groth16 电路中，BitVM 程序作为单个 Groth16 验证器运行，并预先配置了电路的验证密钥。

这种双向挂钩架构旨在实现信任最小化，目前正在密集开发中。该系统不需要更改比特币网络，但可能需要调整操作码，以在 Citrea 上结算交易时实现完全的去信任化。