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

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

Provas de fraude (1R, ZK) 🔸 Provas de fraude de rodada única (1R) exigem apenas uma única transação para resolver disputas 🔸 Provas ZK são usadas para provar a correção das transições de estado Isso possibilita a correção verificável de estado e transição de estado.

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

DA Externo 🔸 O sequenciador publica dados de transação para o EigenDA v2. 🔸 As raízes dos dados das transações são verificadas contra as raízes de dados do Verificador DACert, assinadas pelos operadores EigenDA.