Фонд Ethereum подробно рассказал о достижениях zkEVM и дорожной карте на 2026 год

Кратко

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

Фонд Ethereum, некоммерческая организация, поддерживающая долгосрочное развитие Ethereum через исследования, технологии и инициативы сообщества, опубликовал обновление о прогрессе своей экосистемы zkEVM, подводя итоги года достижений и обозначая будущие цели.

Согласно отчету, задержка для доказательства в реальном времени значительно снизилась с 16 минут до 16 секунд, затраты снизились в 45 раз, а zkVM теперь проверяют 99% блоков Ethereum менее чем за 10 секунд на целевом оборудовании. Хотя эти улучшения производительности решают основные узкие места, безопасность остается приоритетом.

Многие zkEVM на базе STARK все еще опираются на непроверенные математические предположения, и недавние исследования поставили под сомнение некоторые из этих гипотез, снизив эффективный запас безопасности. Фонд Ethereum подчеркивает, что доказуемая безопасность остается важной, нацеливаясь на 128-битную безопасность, как рекомендуется органами стандартизации и подтверждается вычислительными бенчмарками, особенно учитывая возможность злоумышленников эксплуатировать недостатки в звене Layer 1 zkEVM, что может привести к потере значительных средств.

Баланс между безопасностью и размером доказательства критичен, поскольку более высокая безопасность обычно увеличивает размеры доказательств, которые должны оставаться управляемыми для распространения по сети Ethereum. Для этого фонд установил три ключевые этапа.

Фонд Ethereum подчеркивает, что к концу февраля 2026 года команды zkEVM должны интегрировать SoundCalc — инструмент для постоянной оценки безопасности на основе текущих криптографических границ и параметров доказательств. К концу мая 2026 года экосистема стремится достичь 100-битной доказуемой безопасности с окончательными размерами доказательств менее 600 КиБ и компактным описанием архитектуры рекурсии. К концу 2026 года цель — 128-битная доказуемая безопасность, размеры доказательств менее 300 КиБ и формальный аргумент безопасности для рекурсивной архитектуры.

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

Фонд Ethereum смещает фокус на безопасность zkEVM и формальную проверку перед этапом H-star

Есть стратегическая причина сосредоточиться на безопасности zkEVM на этом этапе. Обеспечение безопасности системы, которая все еще развивается, — сложная задача, но как только архитектуры zkVM стабилизируются и команды достигнут ключевых целей, усилия по формальной проверке смогут быть полностью реализованы. К этапу H-star ожидается, что уровень системы доказательств будет в значительной степени определен — не навсегда зафиксирован, но достаточно стабильным для проведения формальной проверки критических компонентов, завершения доказательств безопасности и согласования спецификаций с развернутым кодом. Эта стабильность необходима для достижения безопасных Layer 1 zkEVM.

Год назад основной вопрос заключался в том, смогут ли zkEVM доказывать транзакции достаточно быстро, и эта задача уже решена. Сейчас основной вопрос — смогут ли они делать это надежно и безопасно, и уверенность в этом высока. Фонд Ethereum планирует опубликовать в январе пост, формализующий эти этапы, а затем — техническое обновление, подробно описывающее методы системы доказательств для достижения целевых уровней безопасности и размеров доказательств. Ethproofs также будут обновлены, чтобы отразить смещение акцента на безопасность наряду с производительностью. Поддержка команды криптографии фонда будет доступна на протяжении всего этого процесса. После завершения этапа повышения производительности внимание переключается на укрепление основ.