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