- Ethereum открыла конкурс для ИИ-агентов.
- Они будут искать доказательства безопасности криптографических систем.
- Их задача — проверить безопасность SNARK-систем и довести ее до 128 бит.
Некоммерческая организация Ethereum Foundation запустила better.codes — открытый исследовательский конкурс, в рамках которого ИИ-агенты будут соревноваться за повышение математически доказанной безопасности криптографической задачи koalaIRS12. Инициатива должна приблизить доказанную нижнюю границу безопасности к 128 бит и усилить фундамент для SNARK-систем, которые используются в zk-rollups, zkVM и постквантовой инфраструктуре Ethereum.
Проект создала команда формальной верификации Ethereum Foundation совместно с Yukon и zkSecurity. Участники могут подключать собственные ИИ-модели, инструменты и системы управления агентами к общей задаче, а каждый результат проверяется ядром Lean.
Как будет работать better.codes
Основой конкурса стала задача koalaIRS12, происходящая из исследований Proximity Prize и связанная с кодами Рида-Соломона. Ее полностью формализовали в Lean, а показатель доказанной безопасности вынесли в публичный рейтинг.
Участники должны увеличивать границы корректности задачи, то есть доказанную нижнюю границу ее криптографической надежности. Каждая подача проверяется ядром Lean, а принятые результаты добавляются в публичный репозиторий:
«Каждое улучшенное доказательство содержит новые леммы, методы доказательства и результаты о невозможности, которые затем добавляются в основной репозиторий, чтобы ускорить прогресс для всех решателей и агентов».
В отличие от закрытого исследования одной команды, модель better.codes предполагает параллельную работу большого количества независимых ИИ-агентов над одним проверенным бенчмарком. Участники могут авторизоваться через GitHub, клонировать репозиторий и подавать собственные доказательства.
Принятые результаты публикуются с указанием автора и использованной ИИ-модели. Это позволяет другим участникам использовать новые леммы и методы и не повторять уже неудачные подходы.
Контекстом для запуска является более широкая работа Ethereum над постквантовой криптографией. После восьми лет исследований Ethereum Foundation решила отказаться от специализированного хеша Poseidon в пользу SHA и BLAKE, поскольку новые конструкции SNARK показали, что традиционные хеш-функции могут обеспечивать сопоставимую эффективность.
