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