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 操作員簽署。