O Celo está de volta na aba Validiums & Optimiums! 🔄 Com o hardfork Jello, @Celo introduziu uma nova atualização de rede que trouxe OP @SuccinctLabs Lite com provas ZK para a mainnet do Celo, juntamente com o verificador DACert da ponte V2 @eigen_da. Vamos analisar o que realmente mudou ⬇️

Validação de estado 🔴 → 🟢 Celo agora suporta provas de fraude E provas ZK, permitindo que os atores que observam a cadeia provem que o estado está incorreto.

Provas de fraude (1R, ZK) 🔸 Provas de fraude de ronda única (1R) requerem apenas uma única transação para resolver disputas 🔸 Provas ZK são usadas para provar a correção das transições de estado Isto permite a verificação da correção do estado e das transições de estado.

Disponibilidade de dados 🔴 → 🟡 A construção de provas e a derivação de estados agora dependem totalmente dos dados publicados no EigenDA.

DA Externa 🔸 O sequenciador publica dados de transação no EigenDA v2. 🔸 As raízes dos dados de transação são verificadas em relação às raízes de dados do DACert Verifier, assinadas pelos operadores do EigenDA.