¡Celo ha vuelto a la pestaña de Validiums & Optimiums! 🔄 Con el fork Jello, @Celo introdujo una nueva actualización de red que llevó OP @SuccinctLabs Lite con pruebas ZK a la mainnet de Celo, junto con el verificador DACert @eigen_da del puente V2. Vamos a desglosar qué cambió ⬇️ realmente

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

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

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

DA externo 🔸 El secuenciador publica los datos de transacciones en EigenDA v2. 🔸 Las raíces de datos de las transacciones se comprueban contra las raíces de datos del verificador DACert, aprobadas por los operadores EigenDA.