Співзасновник Ethereum Віталік Бутерін заявив, що ШІ не означає кінець кібербезпеки, натомість стверджуючи, що передові моделі можуть допомогти зробити криптографічне програмне забезпечення складнішим для злому.

У дописі в середу на X Бутерін стверджував, що ШІ не дасть хакерам непереборної переваги, додавши, що власники криптовалют — включно з ним самим, який тримає приблизно 90% свого капіталу в криптоактивах — роблять ставку на те, що засоби захисту можуть тримати темп.

«Дедалі частіше вважають, що хакерство за допомогою ШІ означає приреченість кібербезпеки», — написав Бутерін. «Я не згоден. Я думаю, що кібербезпека від природи сприяє обороні, щойно люди візьмуться за справу».

Бутерін стверджував, що ШІ може зробити формальну верифікацію — використання математичних доказів для встановлення того, що програмне забезпечення є безпечним — практичною навіть для складних систем.

«Якщо ШІ може довести рівняння Нав'є-Стокса та останню теорему Ферма, то ШІ може довести твердження „ця програма безпечна“ як математичну теорему», — написав він. «Навіть якщо програма дуже складна».

Іншими словами, Бутерін вважає, що ШІ, достатньо складний для розв’язання відомих складних математичних проблем, також може довести, що навіть комплексне програмне забезпечення відповідає чітко визначеним вимогам безпеки.

Однак це не означає, що безпека проста, сказав він. Важка частина полягає в тому, щоб насамперед визначити, що означає «безпечний».

Розробники блокчейнів дедалі частіше використовують ШІ-агенти для сканування коду, тестування експлойтів та перевірки помилок до того, як зможуть діяти зловмисники, при цьому дослідники виявляють вразливості як в інфраструктурі Ethereum, так і в програмному забезпеченні Bitcoin.

Розробники в криптопросторі розгортають ШІ для захисту після кількох інцидентів, які посилили побоювання, що ШІ дає перевагу зловмисникам.

У травні дослідник безпеки Тейлор Горнбі використав Claude Opus 4.8 від Anthropic, щоб виявити чотирирічну вразливість у пулі конфіденційності Orchard від Zcash, яка могла б дозволити необмежену, непомітну підробку ZEC, хоча розробники не знайшли доказів того, що вона була використана до того, як її виправлено в червні.

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

До серпня загроза поширилася по всій програмній екосистемі Bitcoin. Boltz призупинив свою послугу обміну, заявивши, що підозрювані зловмисники знаходять недоліки швидше, ніж їхні розробники можуть їх усунути, тоді як Core Lightning підтвердив, що кілька вразливостей, виявлених у звітах, створених ШІ, були справжніми. У відповідь, волонтерська команда Bitcoin Red Team використала аудити за допомогою ШІ, щоб виявити 4 962 потенційні вразливості у 390 проєктах.

Бутерін заявив, що ШІ тепер може верифікувати цілі програми, а не лише окремі компоненти, що є підходом, який Ethereum планує реалізувати протягом наступних кількох років.

«Немає майбутнього для блокчейнів — особливо блокчейнів з масштабованістю та конфіденційністю — без цього», — сказав він. «Ми повинні зробити програмне забезпечення справді безпечним. І ми вже досягли значного прогресу».