Celo знову у вкладці Validium та Optimiums! 🔄 З хардфорком Jello @Celo представив нове оновлення мережі, яке привело OP @SuccinctLabs Lite з ZK proofs до основної мережі Celelo, а також @eigen_da V2 bridge DACert verifier. Давайте розберемося, що насправді змінилося ⬇️
Валідація 🔴 стану → 🟢 Celo тепер підтримує докази шахрайства І докази ZK, дозволяючи акторам спостерігати за ланцюгом довести, що стан неправильний.
Докази шахрайства (1R, ZK) 🔸 Докази шахрайства в один раунд (1R) потребують лише однієї транзакції для вирішення спорів 🔸 Докази ZK використовуються для доведення коректності переходів станів Це дозволяє перевіряти коректність переходу стану та стану.
Доступність 🔴 даних → 🟡 Конструкція доказів і виведення стану тепер повністю базуються на даних, розміщених на EigenDA.
Зовнішній DA 🔸 Секвенсор публікує дані транзакцій у EigenDA v2. 🔸 Корені даних транзакцій перевіряються за коренями даних DACert Verifier, які розшифровуються операторами EigenDA.
863