Фонд Ethereum представил better.codes — совместную исследовательскую платформу, применяющую искусственный интеллект для укрепления безопасности SNARK на основе хеш-функций. Инициатива является частью более широких усилий Ethereum по подготовке своей криптографической инфраструктуры к потенциальным рискам, которые могут создать будущие квантовые компьютеры.

Платформа сосредоточена на koalaIRS12 — задаче о близости Рида — Соломона, играющей важную роль в современных криптографических системах доказательств. Через better.codes исследователи могут задействовать ИИ-агентов для улучшения границ стойкости доказательств koalaIRS12 с последующей проверкой результатов через ядро Lean. Lean — доказатель теорем и язык программирования с открытым исходным кодом, изначально разработанный в Microsoft Research, — проверяет каждый шаг доказательства с помощью небольшого доверенного ядра, поэтому принятые результаты несут машинно проверяемые гарантии, а не опираются исключительно на ручное рецензирование.

Инициатива направлена на создание машинно проверяемых гарантий безопасности для koalaIRS12 и на достижение целевого уровня безопасности 128 бит, который мог бы усилить защиту Ethereum от будущих квантовых угроз. Проект разработан совместно с Yukon и zkSecurity и построен вокруг инкрементальных вкладов. Авторство принятых решений признаётся как за исследователями или решателями, так и за ИИ-моделями, участвовавшими в их создании — подход, призванный поощрять прозрачное сотрудничество и одновременно создавать проверяемую запись о прогрессе в криптографических исследованиях.

Ethereum готовится к рискам квантовых вычислений

Переход Ethereum к постквантовой криптографии обусловлен опасениями относительно долгосрочной безопасности криптографических систем, используемых в блокчейне сегодня. Технологии на основе эллиптических кривых обеспечивают, в частности, подписи транзакций, инфраструктуру консенсуса и доказательства с нулевым разглашением.

Достаточно мощный квантовый компьютер потенциально способен скомпрометировать некоторые из этих криптографических примитивов с помощью алгоритма Шора, разработанного математиком Питером Шором в 1994 году и нацеленного на задачи факторизации и дискретного логарифмирования, лежащие в основе значительной части современной криптографии с открытым ключом. Хотя такие машины пока не способны взломать широко используемую криптографию Ethereum в практических масштабах — а крупные разработчики аппаратного обеспечения, такие как IBM и Google, опубликовали дорожные карты, предусматривающие отказоустойчивые квантовые компьютеры лишь к концу десятилетия, — потенциальная угроза в будущем побудила разработчиков блокчейнов заранее заняться поиском альтернатив.

Поэтому Ethereum изучает криптографические подходы, опирающиеся на хеш-функции, а не на дискретные логарифмы на эллиптических кривых. Среди технологий, рассматриваемых в рамках этого перехода, — SNARK и STARK на основе хеш-функций. Это направление перекликается с работами по стандартизации за пределами блокчейна: в 2024 году Национальный институт стандартов и технологий США (NIST) окончательно утвердил свои первые стандарты постквантовой криптографии, включая SLH-DSA — схему цифровой подписи на основе хеш-функций, что открыло хеш-криптографии путь к одобренному на государственном уровне практическому применению. Инициатива better.codes решает одну из задач, связанных с этими усилиями, добиваясь более строгих и формально верифицированных гарантий безопасности для кодов близости Рида — Соломона — кодов, лежащих в основе ряда криптографических систем доказательств и важных для развития масштабируемых технологий нулевого разглашения.

Целевой уровень безопасности 128 бит

Задача better.codes сосредоточена на достижении эталонного уровня безопасности 128 бит для koalaIRS12 — цели, соответствующей долгосрочной задаче Ethereum по созданию криптографических систем, способных оставаться безопасными в постквантовой среде. Фонд Ethereum анонсировал инициативу в X:

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

Полный пост: https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

Эта работа продолжает инициативу Proximity Prize, запущенную ранее в 2026 году с исследовательским фондом в 1 миллион долларов, посвящённым нерешённым задачам в области списочного декодирования и коррелированного согласия. Выражая эти криптографические задачи на языке Lean 4, Фонд Ethereum стремится упростить механическую проверку результатов исследований и потенциально ускорить продвижение к более надёжным криптографическим конструкциям. Сочетание машинного обучения с формальной проверкой доказательств также отражает более широкий исследовательский тренд: AlphaProof от Google DeepMind, достигший уровня серебряной медали на Международной математической олимпиаде 2024 года благодаря созданию проверенных в Lean доказательств, показал, как ИИ-системы могут вносить вклад в формально проверяемую математику.

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

Долгосрочная безопасность вместо немедленного влияния на рынок

Не ожидается, что инициатива окажет прямое краткосрочное влияние на цену ETH. Её значимость заключается в долгосрочной безопасности протокола Ethereum и в подготовке к технологическим рискам, способным возникнуть по мере развития квантовых вычислений.

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

Ожидается, что платформа better.codes выйдет за рамки первоначальной задачи: Фонд Ethereum планирует добавить новые исследовательские задачи в рамках правил программы, охватывающих критерии допуска, порядок оценки и награды. Принять участие можно, войдя через GitHub, получив доступ к соответствующему репозиторию и предложив решения задачи koalaIRS12.

По имеющимся данным, инициатива представляет собой попытку вывести постквантовые исследования за рамки теоретических дискуссий и перейти к независимо проверяемой реализации. Сочетая исследования с привлечением ИИ с формальной верификацией в Lean, better.codes может дать Ethereum более структурированный путь к криптографическим системам, спроектированным так, чтобы противостоять угрозам квантовой эпохи.

Источник: CoinTrust