Celo è tornato nella scheda Validiums & Optimiums! 🔄 Con l'hardfork Jello, @Celo ha introdotto un nuovo aggiornamento di rete che ha portato OP @SuccinctLabs Lite con prove ZK sulla mainnet di Celo, insieme al verificatore DACert del bridge V2 di @eigen_da. Analizziamo cosa è effettivamente cambiato ⬇️

Validazione dello stato 🔴 → 🟢 Celo ora supporta le prove di frode E le prove ZK, consentendo agli attori che osservano la catena di dimostrare che lo stato è errato.

Prove di frode (1R, ZK) 🔸 Le prove di frode a turno singolo (1R) richiedono solo una singola transazione per risolvere le controversie 🔸 Le prove ZK vengono utilizzate per dimostrare la correttezza delle transizioni di stato Questo consente la correttezza verificabile dello stato e delle transizioni di stato.

Disponibilità dei dati 🔴 → 🟡 La costruzione della prova e la derivazione dello stato ora si basano completamente sui dati pubblicati su EigenDA.

DA esterna 🔸 Il sequencer pubblica i dati delle transazioni su EigenDA v2. 🔸 Le radici dei dati delle transazioni vengono verificate rispetto alle radici dei dati del DACert Verifier, firmate dagli operatori di EigenDA.