Celo est de retour dans l'onglet Validiums & Optimiums ! 🔄 Avec le hardfork Jello, @Celo a introduit une nouvelle mise à niveau du réseau qui a apporté OP @SuccinctLabs Lite avec des preuves ZK sur le mainnet de Celo, ainsi que le vérificateur DACert du pont V2 @eigen_da. Décomposons ce qui a réellement changé ⬇️

Validation de l'état 🔴 → 🟢 Celo prend désormais en charge les preuves de fraude ET les preuves ZK, permettant aux acteurs surveillant la chaîne de prouver que l'état est incorrect.

Preuves de fraude (1R, ZK) 🔸 Les preuves de fraude à un tour (1R) nécessitent uniquement une seule transaction pour résoudre les litiges 🔸 Les preuves ZK sont utilisées pour prouver la justesse des transitions d'état Cela permet une vérification de l'état et de la justesse des transitions d'état.

Disponibilité des données 🔴 → 🟡 La construction de preuves et la dérivation d'état reposent désormais entièrement sur les données publiées sur EigenDA.

DA externe 🔸 Le séquenceur publie les données de transaction sur EigenDA v2. 🔸 Les racines des données de transaction sont vérifiées par rapport aux racines de données du DACert Verifier, signées par les opérateurs d'EigenDA.