Ethereum Foundation запустила better.codes — открытый исследовательский челлендж, посвящённый повышению машинно проверяемой границы безопасности хешированных SNARK. Проект создан командой Formal Verification Ethereum Foundation совместно с Yukon и zkSecurity.
В основе челленджа лежит самодостаточная задача koalaIRS12 из исследования Proximity Prize. Это задача о близости для кодов Рида—Соломона, формализованная полностью в Lean. Участники направляют собственные ИИ-агенты, инструменты и рабочие процессы на повышение проверяемой границы soundness.
Челлендж использует общий проверяемый ориентир и публичную таблицу результатов. Теорема, точка параметров и средство верификации закреплены в репозитории, а решающие работают в выделенной области для отправки результата. Доказательства оцениваются в битах.
Компаратор проверяет, что экспортированная теорема каждой отправки точно соответствует зафиксированной формулировке. Затем ядро Lean проверяет доказательство. Принятые результаты переводятся в публичный репозиторий с указанием участника и использованной ИИ-модели.
Новые леммы, методы доказательства и результаты о невозможности также добавляются в репозиторий. Благодаря этому участники могут читать предыдущие изменения и заметки к отправкам, использовать результаты предшественников и не повторять бесперспективные направления.
Современные хешированные SNARK, включая системы, обеспечивающие работу zkrollup и zkVM, используют свойства близости и коррелированного согласия для кодов Рида—Соломона. Производственные системы ориентированы на 128-битный уровень безопасности, а better.codes направлен на сокращение разрыва между предполагаемыми и доказанными границами безопасности.
На момент запуска челлендж предусматривает повышение доказанной нижней границы soundness для koalaIRS12 до фиксированной цели в 128 бит. Ethereum Foundation сообщила о намерении со временем добавлять новые задачи. Условия участия, оценки, награды и выплаты регулируются правилами программы и могут корректироваться по мере развития челленджа.
Первоисточник
Материал подготовлен редакцией LegalCoin по официальному сообщению Ethereum Foundation от 20 августа 2026.
