Citrea 的 ZK 电路是专为 Bitcoin 设计的，以实现： - 贡献于矿工经济的 Bitcoin 应用 - 由其网络验证的 Bitcoin 桥 🧵

Citrea 的电路同时证明了两件事： • 执行证明（证明 Citrea 交易的正确性） • Bitcoin 区块空间证明（为验证桥 Clementine 生成 Citrea 的简洁证明）。

执行证明： 对于每一批Citrea区块，电路验证所有交易执行和状态转换。 它输出： • 初始和最终状态根 • 状态差异 • Citrea已知的最后一个Bitcoin区块哈希 然后将证明提交给Bitcoin。

区块空间证明： 电路扫描比特币区块以验证所有先前的Citrea执行证明和排序器承诺。 它的功能是： • 提供完整Citrea历史的单一证明

结果： 一个完全与Bitcoin对齐的应用层。