Celo wrócił do zakładki Validiums & Optimiums! 🔄 Wraz z hard forkiem Jello, @Celo wprowadził nową aktualizację sieci, która przyniosła OP @SuccinctLabs Lite z dowodami ZK do głównej sieci Celo, razem z weryfikatorem DACert mostu @eigen_da V2. Rozłóżmy to, co się właściwie zmieniło ⬇️

Walidacja stanu 🔴 → 🟢 Celo teraz wspiera dowody oszustwa ORAZ dowody ZK, umożliwiając aktorom obserwującym łańcuch udowodnienie, że stan jest niepoprawny.

Dowody oszustwa (1R, ZK) 🔸 Dowody oszustwa w jednym okrążeniu (1R) wymagają tylko jednej transakcji do rozwiązania sporów 🔸 Dowody ZK są używane do udowodnienia poprawności przejść stanu To umożliwia weryfikowalność stanu i poprawności przejść stanu.

Dostępność danych 🔴 → 🟡 Budowa dowodów i wyprowadzanie stanu teraz w pełni opierają się na danych zamieszczonych na EigenDA.

Zewnętrzne DA 🔸 Sekwencer publikuje dane transakcji do EigenDA v2. 🔸 Korzenie danych transakcji są sprawdzane w porównaniu do korzeni danych DACert Verifier, zatwierdzonych przez operatorów EigenDA.