¡Celo ha vuelto en la pestaña de Validiums y Optimiums! 🔄 Con el hardfork Jello, @Celo introdujo una nueva actualización de red que trajo OP @SuccinctLabs Lite con pruebas ZK a la mainnet de Celo, junto con el verificador DACert del puente V2 de @eigen_da. Desglosemos lo que realmente cambió ⬇️

Validación del estado 🔴 → 🟢 Celo ahora admite pruebas de fraude Y pruebas ZK, lo que permite a los actores que observan la cadena demostrar que el estado es incorrecto.

Pruebas de fraude (1R, ZK) 🔸 Las pruebas de fraude de una sola ronda (1R) requieren solo una transacción para resolver disputas 🔸 Las pruebas ZK se utilizan para demostrar la corrección de las transiciones de estado Esto permite la corrección verificable del estado y de las transiciones de estado.

Disponibilidad de datos 🔴 → 🟡 La construcción de pruebas y la derivación de estados ahora dependen completamente de los datos publicados en EigenDA.

DA Externa 🔸 El secuenciador publica datos de transacciones en EigenDA v2. 🔸 Las raíces de datos de transacciones se verifican contra las raíces de datos del DACert Verifier, firmadas por los operadores de EigenDA.