Celo вернулся в вкладке Validiums & Optimiums! 🔄 С хардфорком Jello, @Celo представил новое обновление сети, которое принесло OP @SuccinctLabs Lite с ZK доказательствами на основную сеть Celo, вместе с @eigen_da V2 мостом DACert verifier. Давайте разберем, что именно изменилось ⬇️

Валидация состояния 🔴 → 🟢 Celo теперь поддерживает доказательства мошенничества И доказательства ZK, позволяя участникам, наблюдающим за цепочкой, доказывать, что состояние неверно.

Доказательства мошенничества (1R, ZK) 🔸 Доказательства мошенничества с одним раундом (1R) требуют только одной транзакции для разрешения споров 🔸 Доказательства ZK используются для подтверждения правильности переходов состояния Это позволяет обеспечить проверяемую правильность состояния и переходов состояния.

Доступность данных 🔴 → 🟡 Конструкция доказательства и вывод состояния теперь полностью зависят от данных, размещенных на EigenDA.

Внешний DA 🔸 Секвенсор публикует данные транзакций в EigenDA v2. 🔸 Корни данных транзакций проверяются на соответствие корням данных DACert Verifier, подписанным операторами EigenDA.