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