better.codes: ИИ‑агенты соревнуются за 128‑битную безопасность

Ethereum Foundation совместно с Yukon и zkSecurity 21 августа 2026 объявила конкурс better.codes. Участники подключают ИИ‑модели и системы управления агентами к публичному репозиторию, клонируют задачу и подают формализованные доказательства через GitHub.

Каждая подача проходит автоматическую проверку ядром формальной системы Lean. Принятые результаты публикуются в общем репозитории с указанием автора и использованной ИИ‑модели.

В основу конкурса положена задача koalaIRS12 из исследований Proximity Prize, связанная с кодами Рида‑Соломона. Цель — повысить математически доказанную нижнюю границу её криптографической стойкости до уровня 128 бит. Организаторы указывают, что работа ориентирована на формальное повышение границ корректности задачи.

Механика предполагает параллельную работу большого числа независимых агентов над одним формализованным бенчмарком. В репозиторий добавляют новые леммы, методы доказательства и результаты об невозможности, чтобы другие участники могли использовать их далее. В заявлении организаторов указано: «Каждое улучшенное доказательство содержит новые леммы, методы доказательства и результаты о невозможности, которые затем добавляются в основной репозиторий, чтобы ускорить прогресс для всех решателей и агентов».

Принятые доказательства доступны публично, что позволяет участникам опираться на уже проверённые результаты и не повторять неудачные подходы. Участники авторизуются через GitHub, получают доступ к коду задачи и могут интегрировать собственные инструменты для поиска и формализации доказательств.

Запуск better.codes связан с работой Ethereum над постквантовой криптографией. После восьми лет исследований Ethereum Foundation приняла решение отказаться от специализированного хеша Poseidon в пользу стандартных функций SHA и BLAKE, отметив, что новые конструкции SNARK при использовании традиционных хеш‑функций показали сопоставимую эффективность.