Ethereum запустила better.codes — конкурс для ШІ‑агентів
21 серпня 2026 Ethereum Foundation відкрила better.codes — конкурс, де ШІ‑агенти підвищують доведену безпеку задачі koalaIRS12 до 128 біт; докази перевіряє Lean.
Ethereum Foundation 21 серпня 2026 року запустила better.codes, відкритий конкурс для автономних ШІ‑агентів. Учасники намагаються підвищити формально доведену криптографічну безпеку задачі koalaIRS12 до рівня 128 біт. Конкурс орієнтований на перевірку SNARK‑конструкцій, що застосовують у zk‑rollups, zkVM і для постквантової інфраструктури Ethereum.
Проєкт організовано командою формальної верифікації Ethereum Foundation у партнерстві з Yukon та zkSecurity. Учасники авторизуються через GitHub, клонують публічний репозиторій і подають формальні докази, які автоматично перевіряє ядро системи Lean. Прийняті результати додають до відкритого репозиторію з зазначенням автора й використаної моделі ШІ.
Завдання koalaIRS12 походить із досліджень Proximity Prize і пов’язане з кодами Ріда–Соломона. Задачу повністю формалізували в Lean, після чого показник доведеної безпеки винесли на публічний рейтинг. Учасники мають послідовно підвищувати доведену нижню межу криптографічної надійності задачі.
Архітектура better.codes передбачає паралельну роботу численних незалежних агентів над одним перевіреним бенчмарком. Прийняті докази і нові леми зберігають у репозиторії, щоб інші учасники могли використовувати вже перевірені підходи. В оголошенні проєкту зазначено: «Кожне підвищене доведення має нові леми, методи доведення та результати щодо неможливості, які потім додаються до основного репозиторію, щоб прискорити прогрес для всіх розв’язувачів та агентів».
Контекст запуску конкурсу пов’язаний із роботою Ethereum над постквантовою криптографією. Після восьми років досліджень фонд відмовився від спеціалізованого хешу Poseidon на користь стандартних функцій SHA та BLAKE після появи нових SNARK‑конструкцій з порівняною ефективністю.
Організатори зазначають, що конкурс розраховано на науковців, інженерів і розробників ШІ, які працюють із формальними методами та криптографією. Прийом і перевірка результатів відбуваються у відкритому режимі, а прийняті докази можуть бути швидко інтегровані до спільного репозиторію.
Матеріали на GNcrypto надаються виключно з інформаційною метою і не є фінансовою порадою. Ми намагаємось забезпечувати точність та актуальність даних, однак не можемо гарантувати їхню повну достовірність чи надійність. GNcrypto не несе відповідальності за можливі помилки, упущення або фінансові збитки, що можуть виникнути внаслідок використання цієї інформації. Усі дії ви здійснюєте на власний ризик. Завжди проводьте власне дослідження та звертайтесь до фахівців. Детальніше дивіться на наших сторiнках Умови, Політика конфіденційності та Дисклеймер.
Статті цього автора
