После года упорной работы экосистема zkEVM достигла скачка производительности: время доказательства блоков Ethereum сократилось с 16 минут до 16 секунд, а затраты снизились в 45 раз. Участвующие zkVMs теперь могут выполнять 99% доказательств блоков основной сети в течение 10 секунд на целевом оборудовании.
18 декабря Фонд Ethereum (EF) объявил о внедрении механизма доказательства в реальном времени и устранении узких мест производительности, но подчеркнул, что реальная проблема заключается в надежности. Скорость без поддержки безопасности станет обузой, и несколько математических гипотез, на которые опирается zkEVM на основе алгоритма STARK, были опровергнуты в последние месяцы, что привело к снижению уровня безопасности.
Ранее EF установил комплексную цель для доказательства в реальном времени в июле, охватывающую несколько аспектов, таких как задержка, оборудование и безопасность, и теперь прошел тест EthProofs.
Его ключевое изменение заключается в переходе от стремления к пропускной способности к доказуемой безопасности. Очевидно, что zkEVM уровня L1 должен соответствовать стандарту безопасности 128 бит и соответствовать основным криптографическим спецификациям. Поскольку подделка доказательств может привести к фатальным рискам, таким как подделка токенов и изменение состояния L1, запас безопасности не подлежит обсуждению.
EF одновременно опубликовал дорожную карту безопасности из трех этапов:
- К концу февраля 2026 года все команды zkEVM должны интегрировать свои системы доказательств с инструментом оценки безопасности soundcalc от EF для унификации стандартов расчета безопасности.
- Стандарт Glamsterdam будет достигнут к концу мая, реализуя переходные цели, такие как 100-битная доказуемая безопасность.
- Конечная цель H-star должна быть выполнена к концу декабря, достигнув 128-битной доказуемой безопасности и предоставив формальное доказательство безопасности рекурсивной топологии.
Для достижения своей цели EF упоминает ключевые технологические инструменты, такие как WHIR и JaggedPCS, которые могут повысить эффективность за счет оптимизации генерации доказательств и избежания потерь вычислительной мощности, а также уменьшить размер доказательств с использованием таких техник, как рекурсивная топология.
Однако остаются несколько проблем: доказательства в реальном времени еще не реализованы в блокчейне, и фактическая эффективность валидаторов вызывает вопросы; параметры безопасности необходимо динамически корректировать по мере опровержения математических гипотез; неизвестно, смогут ли некоторые команды выполнить цели в срок; проекты формальной верификации с рекурсивной архитектурой все еще находятся на ранних стадиях, и экосистема развивается неравномерно.
Стоит отметить, что как только zkEVM будет соответствовать требованиям, он сможет поддерживать Ethereum в увеличении лимитов газа, тем самым увеличивая емкость блоков, обеспечивая при этом осуществимость стейкинга, способствуя превращению L1 в надежный расчетный слой и размывая границы между выполнением L2 и L1.
Теперь, когда спринт производительности завершен, ключевой проблемой экосистемы zkEVM стало достижение достаточно надежных доказательств безопасности для поддержки активов на сотни миллиардов долларов без опоры на хрупкие гипотезы. Гонка за безопасность официально началась и станет основной темой Ethereum в 2026 году.
