Фонд Ethereum смещает дорожную карту zkEVM к 128-битной доказуемой безопасности с целевым сроком на 2026 год

За год усилий по снижению задержки верификации zkEVM время доказательства блока Ethereum сократилось примерно с 16 минут до 16 секунд при 45-кратном снижении стоимости, и сейчас большинство блоков мейннета подтверждаются менее чем за 10 секунд. 18 декабря Фонд Ethereum сообщил, что цели по «реальному времени» достигнуты, и представил дорожную карту до 2026 года, в которой на первый план выходят 128-битная доказуемая безопасность, явные ограничения на размер доказательств и формальная верификация рекурсивных архитектур. Новые вехи предусматривают обязательный переход всех команд zkEVM на инструмент EF soundcalc, достижение как минимум 100-битной доказуемой безопасности к маю 2026 года и выход на полную 128-битную безопасность с доказательствами менее 300 килобайт к концу 2026 года.