Сооснователь Ethereum Виталик Бутерин отверг представление о том, что хакерство с помощью ИИ означает конец кибербезопасности, утверждая вместо этого, что продвинутые модели могут сделать криптографическое программное обеспечение более защищенным, а не менее.

В посте в среду на X Бутерин заявил, что ИИ не даст хакерам непреодолимого преимущества, отметив, что держатели криптовалют — включая его самого, около 90% состояния которого находится в криптовалютах, — фактически делают ставку на то, что оборонительная безопасность будет поспевать за наступательными возможностями.

«Всё более распространено мнение, что ИИ-хакерство означает, что кибербезопасность обречена. Не согласен. Я считаю, что кибербезопасность по своей природе благоприятствует обороне, как только люди наведут порядок», — написал Бутерин.

Формальная верификация в масштабе

Основой аргумента Бутерина является идея о том, что ИИ мог бы сделать формальную верификацию — использование математических доказательств для установления того, что программное обеспечение ведет себя безопасно, — практичной даже для очень сложных систем. «Если ИИ может доказать уравнения Навье — Стокса и Великую теорему Ферма, то ИИ может доказать утверждение „эта программа безопасна“ как математическую теорему, — написал он. — Даже если программа очень сложная».

Иными словами, Бутерин полагает, что ИИ-модели, способные решать знаменито сложные математические задачи, могли бы также продемонстрировать, что сложное программное обеспечение удовлетворяет четко определенным требованиям безопасности. Это не значит, что обеспечить безопасность легко, предостерег он; трудность заключается в том, чтобы изначально определить, что означает «безопасно».

Это различие важно, поскольку завершенное доказательство исключает любое поведение за пределами спецификации программы, тогда как аудиты и тестирование способны выявить лишь те слабости, которые проверяющие знают, как искать, — одна из причин, почему формальные методы исторически применялись только ким критически важным компонентам.

Его замечания продолжают более широкую линию Ethereum на безопасность с помощью ИИ, приватность, STARKs — компактные криптографические доказательства, позволяющие верифицировать вычисления, не раскрывая стоящих за ними данных, — и устойчивость к квантовым вычислениям.

Гонка вооружений с участием ИИ

Разработчики блокчейнов все чаще используют ИИ-агентов для сканирования кода, тестирования эксплойтов и проверки уязвимостей до того, как атакующие успеют действовать; исследователи обнаружили уязвимости как в инфраструктуре Ethereum, так и в программном обеспечении Bitcoin. Этот оборонительный сдвиг произошел после череды инцидентов, усиливших опасения, что ИИ склоняет чашу весов в пользу атакующих.

В мае исследователь безопасности Тейлор Хорнби использовал Claude Opus 4.8 от Anthropic, чтобы обнаружить четырехлетнюю уязвимость в приватном пуле Orchard сети Zcash — она могла позволить неограниченную и необнаружимую подделку ZEC. Разработчики не нашли свидетельств эксплуатации и устранили ее в июне.

Гонка между атакующими и защитниками обострилась в июле, когда исследователи Ethereum Foundation сообщили, что ИИ-агенты выявили уязвимости в критической сетевой инфраструктуре. В том же месяце атакующие начали опустошать кошельки Coldcard через многолетнюю уязвимость в прошивке, ослаблявшую генерацию seed-фраз, в итоге похитив примерно $130 млн в Bitcoin. Coinkite, производитель Coldcard, заявила, что ИИ, вероятно, помог обнаружить этот баг.

К августу угроза распространилась на всю программную экосистему Bitcoin. Сервис обменов Boltz приостановил работу, заявив, что подозреваемые атакующие находят уязвимости быстрее, чем его разработчики успевают их исправлять, а Core Lightning подтвердила, что несколько уязвимостей, выявленных в отчетах, сгенерированных ИИ, были подлинными. В ответ добровольная команда Bitcoin Red Team провела аудиты с помощью ИИ, которые выявили 4 962 потенциальные уязвимости в 390 проектах.

Целые программы, а не компоненты

Бутерин сказал, что ИИ теперь может верифицировать целые программы, а не отдельные компоненты — Ethereum планирует развивать этот подход в ближайшие несколько лет.

«У блокчейнов — особенно блокчейнов с масштабируемостью и приватностью — нет будущего без этого, — сказал он. — Нам нужно сделать программное обеспечение действительно безопасным. И мы уже достигли большого прогресса».

Насколько далеко Ethereum продвинется по этому многолетнему плану — и продолжат ли аудиты с помощью ИИ в масштабах всей экосистемы выявлять уязвимости в большом количестве, — станет наиболее ясным ближайшим индикатором описываемого им баланса в пользу обороны.