Исследователи Ethereum столкнулись с разрывом в безопасности zkEVM в 52,14 бита до декабря

Ключевые моменты

Конкурс better.codes от Ethereum показал нижний сертификат в 63,99 бита и верхний сертификат в 116,13 бита для koalaIRS12. После девяти принятых заявок от семи решателей между двумя сертификатами остаётся неустранённый разрыв в 52,14 бита. Оценка в рамках конкурса не измеряет корректность системы в целом или полную безопасность zkEVM. Проверка Ethereum в начале декабря также требует расчёта корректности на уровне системы, соблюдения ограничений на размер доказательства, аргументов рекурсии и свидетельств реализации.

Рыночные настроения

нейтральный, технологией обусловлено.

Причина: Исследователи Ethereum измеряют неустранённый разрыв в безопасности системы доказательств, не меняя критически важный для консенсуса путь валидации Ethereum.

Похожие прошлые случаи

Такие исследования формальной безопасности обычно постепенно повышают уровень доверия за счёт воспроизводимых доказательств, а не вызывают немедленную переоценку рынка. В текущем бенчмарке зафиксированы теорема и среда верификации, что позволяет напрямую сопоставлять последующие изменения сертификатов.

Эффект распространения

Непосредственное влияние остаётся ограниченным исследованиями безопасности zkEVM, поскольку повторное выполнение обычным клиентом исполнения по-прежнему определяет аттестацию Ethereum. Если интервал между сертификатами сузится, это может усилить дальнейшую работу над безопасностью на уровне системы, но само по себе не докажет безопасность zkEVM в рабочей среде.

Возможности и риски

Возможности: Читатели могут отслеживать, приближается ли нижний сертификат к закодированной цели в 128 бит. Более узкий интервал предоставил бы более сильные свидетельства безопасности на уровне компонента для будущих аргументов в пользу безопасности zkEVM.

Риски: Читателям следует отслеживать, опубликует ли Ethereum необходимые расчёты на уровне системы и свидетельства реализации для проверки в начале декабря. Одного результата бенчмарка недостаточно для установления полной безопасности zkEVM в рабочей среде.