В zkEVM Ethereum выявлена уязвимость: почему её не закрыли до конца

Продолжаются усилия по обеспечению безопасности Ethereum zkEVM

Проект zkEVM Ethereum нацелен на установление новых стандартов безопасности в блокчейн-технологиях. Однако пока не удалось достичь запланированного уровня защиты в 128 бит. В соревновании на платформе Better.codes профиль KoalaIRS12 показал нижнюю границу сертификата в 63,99 бит и верхнюю — в 116,13 бит. Это свидетельствует о существовании уязвимости размером 52,14 бита, которая остаётся нерешённой.

Значение формальной верификации и сертификатов

Ethereum Foundation разработал теоремы, параметры и среду проверки, в рамках которой каждая представленная теорема доказывается. В мае 2026 года усилия по формальной верификации SP1 выявили важность дополнительного уровня защиты. Соревнование Better.codes направлено на сужение уязвимости с двух сторон — с помощью нижних и верхних сертификатов. Результаты постоянно обновляются в режиме реального времени на лидерборде.

Исследователи и планы на будущее

Известные учёные, такие как Гал Арнон, Дэн Бонех и Джакомо Фензи, публикуют академические статьи, поддерживая прогресс в этой области. Изначально Ethereum планировал достичь 128-битной безопасности к декабрю 2025 года, однако обновление в феврале 2026 года перенесло эту цель на декабрь 2026-го. За это время исследователи должны представить дополнительные доказательства безопасности, чтобы сократить существующую уязвимость и обеспечить полную защиту системы.

Влияние на рынок Ethereum и человеческий фактор

Капитализация Ethereum сейчас составляет около 304 млрд долларов США, а суточный объём торгов — 33,6 млрд долларов. За последние 24 часа цена выросла на 7,27%. Эти показатели подчёркивают значимость проекта на рынке. Тем не менее, наличие уязвимостей может подорвать доверие пользователей. Поэтому разработчики и исследователи находятся под давлением, чтобы устранить эти пробелы. Соревнование Better.codes способствует прозрачности и конкуренции, позволяя всем заинтересованным следить за прогрессом в реальном времени.

Безопасность zkEVM Ethereum имеет ключевое значение для устойчивого развития блокчейн-технологий и сохранения доверия пользователей. Исследователи намерены активизировать усилия и устранить уязвимости до установленного срока.