Некоммерческая организация Ethereum Foundation запустила better codes – открытый исследовательский конкурс, в рамках которого ИИ-агенты будут соревноваться за повышение математически доказанной безопасности криптографической задачи koalaIRS12. Инициатива должна приблизить доказанную нижнюю границу безопасности к 128 бит и усилить фундамент для SNARK-систем, которые используются в zk-rollups, zkVM и постквантовой инфраструктуре Ethereum.

Проект создала команда формальной верификации Ethereum Foundation совместно с Yukon и zkSecurity. Участники могут подключать собственные ИИ-модели, инструменты и системы управления агентами к общей задаче, а каждый результат проверяется ядром Lean. Основой конкурса стала задача koalaIRS12, происходящая из исследований Proximity Prize и связанная с кодами Рида-Соломона. Ее полностью формализовали в Lean, а показатель доказанной безопасности вынесли в публичный рейтинг.

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

В отличие от закрытого исследования 1 команды, модель better codes предполагает параллельную работу большого количества независимых ИИ-агентов над 1 проверенным бенчмарком. Участники могут авторизоваться через GitHub, клонировать репозиторий и подавать собственные доказательства. Принятые результаты публикуются с указанием автора и использованной ИИ-модели. Это позволяет другим участникам использовать новые леммы и методы и не повторять уже неудачные подходы.

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