Ethereum запустила исследовательский конкурс better.codes
Исследователи предложили открытое соревнование по улучшению математических гарантий криптографических систем.
Исследовательская задача
20 августа 2026 года команда формальной верификации Ethereum Foundation вместе с Yukon и zkSecurity представила Better Codes Challenge. Инициатива связана с улучшением доказуемых оценок надёжности схемы koalaIRS12 и ориентиром на 128-битный уровень безопасности. Формальные доказательства проверяются с помощью Lean. Публикация приглашала исследователей работать над математическими конструкциями и их проверяемым обоснованием.
Почему это не готовое обновление
Криптографические исследования часто предшествуют практическим внедрениям на значительное время. Улучшение теоретической оценки ещё не означает, что конкретный кошелёк, мост или приложение перешли на новую схему. Для сообщества полезно различать заявленную цель, полученное доказательство и эксплуатационную безопасность программной реализации. Открытая постановка задачи помогает независимой проверке, но не даёт инвестору отдельного сигнала о стоимости токена. Содержательное обсуждение здесь касается допущений модели, воспроизводимости доказательств и того, какие ограничения остаются у метода.
ПУЛЬС / ЗНАНИЯ
ПУЛЬС / ЗНАНИЯ