#ETH Ethereum завершил еще один важный технологический прогресс, сможет ли он достичь прорыва в 2026 году?

Экосистема zkEVM за год упорной работы достигла прорыва в производительности, время подтверждения блоков $Эфир ETH сократилось с 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, которые могут повысить эффективность за счет оптимизации генерации доказательства и избежания потерь вычислительной мощности, а также за счет использования техник рекурсивной топологии для уменьшения объема доказательства.

Но в настоящее время все еще существует множество вызовов: доказательства в реальном времени еще не реализованы на блокчейне, эффективность работы валидаторов вызывает сомнения; параметры безопасности требуют динамической корректировки в зависимости от опровержения математических гипотез; неизвестно, смогут ли некоторые команды выполнить стандарты в срок; проекты формальной верификации рекурсивной архитектуры все еще находятся на ранней стадии, а развитие экосистемы неравномерно.

Стоит отметить, что zkEVM после достижения стандарта может поддерживать Ethereum в увеличении лимита Gas, одновременно обеспечивая жизнеспособность стейкинга и увеличивая объем блоков, способствуя тому, чтобы L1 стал надежным уровнем расчетов и размывая границы между выполнением L2 и L1.

Теперь производственная гонка закончена, и основная задача экосистемы zkEVM изменилась: необходимо добиться достаточно надежного доказательства безопасности без зависимости от предположений о легкости отказа, чтобы поддерживать активы в масштабе сотен миллиардов. В настоящее время начинается настоящая гонка за безопасностью, которая станет главной темой Ethereum в 2026 году.