2024-06-02

2024-06-01  本文已影响0人  斧正堂

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

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

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

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

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

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

上一篇 下一篇

猜你喜欢

热点阅读