Citrea正在为比特币构建第一个rollup。 我们的独特代码库正在进行审计。 Citrea的rollup基础设施的私人审计现已由Sigma Prime (@sigp_io)完成。 未发现重大漏洞。 以下是完整报告 🧵
Sigma Prime 对 Citrea 进行了私密审计: • Bitcoin DA:一个专门用于 Bitcoin 的 DA 适配器,用于构建和跟踪 Citrea 的承诺和证明 • Citrea STF:每个节点和证明者必须逐位重现的共识关键状态转换逻辑。
Sigma Prime 对 Citrea 进行了私密审计: • EVM:Citrea 的执行引擎,用于 STF 和电路。 • 轻客户端证明电路:生成递归 SNARK,将头部、承诺和批量证明压缩成一个轻客户端证明。
在Sigma Prime的安全评估中共识别出24个问题: - 5个高风险 - 6个中风险 - 4个低风险 - 9个信息性问题 所有问题均已由Citrea团队成功解决。
在这里查看完整的审计报告:
Citrea 的 Rollup 基础设施现在正在与 @cantinaxyz 进行公开审计竞赛! 超过 $80,000 的奖励等你来拿,活动持续到 8 月 15 日:
12.33K