比特币的首个 ZK Rollup 启动即将到来！ Sigma Prime (@sigp_io) 已完成对 Citrea 的基于 BitVM 的桥接 Clementine 的私密审计。这将是比特币首个信任最小化的桥接，通向一个完全可编程的环境。 未发现关键漏洞 🧵

Sigma Prime 对 Clementine 进行了私人审计： • 签名者实现：执行 BitVM 支出规则的实体。 • 操作员实现：寻求利润的实体，促进提款。 • Musig2：在比特币上构建多重签名钱包。

• 乐观比特币轻客户端：附加一个简洁的 zk-SNARK 头链证明，显示一个更重的链。这个证明成为挑战的输入。

在私人审计中共识别出36个问题： - 2个高风险 - 13个中风险 - 13个低风险 - 8个信息性问题 所有问题均已由Citrea团队成功解决。

在这里查看完整报告：

通过Clementine，比特币将拥有第一个桥梁，其规则由比特币网络强制执行，并至少有一个诚实方在场，通向一个可编程的全球平台。 Clementine将很快进入公开审计竞争阶段。 敬请关注 🍊