Сооснователь Ethereum Виталик Бутерин опроверг мнение о том, что развитие ИИ неизбежно приведет к краху кибербезопасности. В своем сообщении в социальной сети X он заявил, что защитные технологии способны развиваться параллельно с угрозами. По мнению Бутерина, ИИ может сделать формальную верификацию сложных программных систем практически применимой.
Бутерин считает, что ИИ способен доказывать безопасность программ как математические теоремы. Такой подход позволит верифицировать не отдельные части кода, а целые системы. Данная стратегия является частью планов Ethereum по развитию безопасности, включая использование технологий STARK, обеспечение приватности и создание устойчивости к квантовым вычислениям в ближайшие годы.
Индустрия активно внедряет ИИ для защиты после ряда инцидентов. В мае с помощью модели Claude Opus была обнаружена уязвимость в Zcash, а в июле ИИ-агенты выявили бреши в инфраструктуре Ethereum. В том же месяце из-за уязвимости в прошивке кошельков Coldcard было похищено около $130 миллионов в биткоинах; компания Coinkite предположила, что ИИ помог злоумышленникам найти этот баг.
Разработчики используют ИИ для сканирования кода и поиска ошибок. Так, команда Bitcoin Red Team применила ИИ для проверки 390 проектов, выявив 4962 потенциальные уязвимости. Бутерин подчеркнул, что использование ИИ для верификации программного обеспечения необходимо для будущего блокчейнов, особенно для тех, которые ориентированы на масштабируемость и приватность.
