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