КатегорияEthereum
Дата
Новость по Ethereum

Ethereum Foundation использовала ИИ-агентов для поиска багов в протоколе

Команда Protocol Security, входящая в структуру Ethereum Foundation, в июле 2026 года приступила к систематическому тестированию критических компонентов сети с помощью специализированных ИИ-агентов. В отличие от традиционного подхода, где один «большой» агент контролировал весь процесс, здесь задействовано несколько параллельных систем, каждая из которых фокусируется на отдельном аспекте: первичная разведка кода, поиск потенциальных уязвимостей, заполнение пробелов и валидация найденных кандидатов. Координация осуществляется через единый репозиторий и систему контроля версий, что позволяет быстро обмениваться результатами и оценивать масштабируемость претенций.

ИИ-агенты как инструмент triage

Главное отличие от обычного сканирования - не просто выявление багов, а их ранний отбор и оценка. ИИ быстро просматривает большие участки кода, трассирует пути исполнения и подготавливает материалы для proof-of-concept. Однако каждый кандидат всё равно должен быть подтверждён на реальном коде, прежде чем признаться уязвимостью. По словам исследователей, подобный подход существенно сокращает время, отводимое на формирование гипотез, и повышает эффективность проверки.

Ключевые находки и их оценка

  • Публично раскрыта уязвимость CVE-2026-34219 в Rust-реализации libp2p gossipsub, связанная с некорректной арифметикой при обработке backoff expiry. Она позволяла удалённо вызвать аварийное завершение процесса при специально сформированном PRUNE-сообщении.
  • Большая часть обнаруженных ИИ-агентами кандидатов оказалась ложноположительными, дубликатами или проблемами за пределами зоны проверки. Такая частота считается нормальной частью методики, а не её слабостью.
  • Система показала худшую эффективность при обнаружении уязвимостей, требующих длинной цепочки корректных действий, где необходимо доказать достижимость всей последовательности состояний.

Контекст изменений внутри фонда

В июне 2026 года Ethereum Foundation объявила о сокращении штата на 20 % и о пересмотре структуры управления. В рамках дальнейших экономических мер Виталик Бутерин сообщал о сокращении бюджета примерно на 40 %, переходя к модели долгосрочного управления капиталом. Расформирована команда Protocol Support, отвечавшая за координацию разработки протокола, поддержку EIP и образовательные инициативы. В марте фонда закрепили принцип минимального вмешательства в развитие сети и подготовили план квантовой защиты до 2029 года, а также пересмотрели роль L2-сетей.