Celo 在 Validiums 和 Optimiums 标签中回归了！ 🔄 随着 Jello 硬分叉，@Celo 引入了一个新的网络升级，将 OP @SuccinctLabs Lite 和 ZK 证明带入 Celo 主网，同时还引入了 @eigen_da V2 桥接 DACert 验证器。 让我们来看看实际发生了什么变化 ⬇️

状态验证 🔴 → 🟢 Celo 现在支持欺诈证明和 ZK 证明，允许观察链的参与者证明状态不正确。

欺诈证明（1R，ZK） 🔸 单轮（1R）欺诈证明只需一笔交易即可解决争议 🔸 ZK证明用于证明状态转换的正确性 这使得可验证的状态和状态转换的正确性成为可能。

数据可用性 🔴 → 🟡 证明构建和状态推导现在完全依赖于在 EigenDA 上发布的数据。

外部 DA 🔸 序列器将交易数据发布到 EigenDA v2。 🔸 交易数据根与 DACert 验证器的数据根进行检查，由 EigenDA 操作员签署。