Celo är tillbaka i fliken Validium & Optimiums! 🔄 Med Jello hardfork introducerade @Celo en ny nätverksuppgradering som förde OP @SuccinctLabs Lite med ZK-bevis till Celo mainnet, tillsammans med @eigen_da V2-bryggan DACert-verifieraren. Låt oss gå igenom vad som faktiskt förändrades ⬇️

Tillståndsvalidering 🔴 → 🟢 Celo stödjer nu både bedrägeribevis OCH ZK-bevis, vilket gör det möjligt för aktörer som övervakar kedjan att bevisa att staten har fel.

Bedrägeribevis (1R, ZK) 🔸 Engångsbevis (1R) för bedrägeri kräver endast en enda transaktion för att lösa tvister 🔸 ZK-bevis används för att bevisa korrektheten hos tillståndsövergångar Detta möjliggör verifierbar tillstånds- och tillståndsövergångskorrekthet.

Datatillgänglighet 🔴 → 🟡 Beviskonstruktion och tillståndshärledning förlitar sig nu helt på data som publicerats på EigenDA.

Extern DA 🔸 Sequencern publicerar transaktionsdata till EigenDA v2. 🔸 Transaktionsdatarötter kontrolleras mot DACert Verifiers datarötter, signerade av EigenDA-operatörer.