- Бутерін пояснив, як ШІ може врятувати криптоіндустрію від хакерів.
- Він назвав технологію, яка може зробити смартконтракти майже невразливими.
- Мова йде про використання ШІ для формальної верифікації коду.
Співзасновник Ethereum Віталік Бутерін опублікував матеріал про майбутнє кібербезпеки, штучного інтелекту та криптоіндустрії, у якому заявив, що ШІ не обов’язково зруйнує довіру до смартконтрактів.
Навпаки, на його думку, використання ШІ для формальної верифікації коду (AI-assisted formal verification) здатне суттєво посилити безпеку Ethereum та інших критичних цифрових систем.
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:https://t.co/0ceMBZ6uqj— vitalik.eth (@VitalikButerin) May 18, 2026
Бутерін зазначив, що багато хто вважає: із розвитком ШІ-інструментів для пошуку вразливостей «безпечний код» стане неможливим. Проте він дотримується більш оптимістичної позиції:
«Я маю значно оптимістичніший погляд, і формальна верифікація з використанням ШІ є важливою частиною причини цього».
ШІ може не лише знаходити баги, а й доводити правильність коду
У своєму матеріалі Бутерін детально пояснив концепцію формальної верифікації — математичного доведення того, що програмне забезпечення працює саме так, як задумано.
За його словами, традиційний підхід до програмування більше не відповідає рівню складності сучасних систем, особливо у криптоіндустрії, де помилки у смартконтрактах можуть призвести до миттєвої втрати коштів.
Він наголосив:
«Помилки в комп’ютерному коді стають ще страшнішими, коли ви розміщуєте криптовалюту в незмінних ончейн-смартконтрактах, з яких Північна Корея може автоматично вивести всі ваші гроші без можливості повернення».
З 2016 року хакери Північної Кореї викрали понад $6,7 млрд — звіт 12.05.2026 Читати
Бутерін вважає, що саме поєднання ШІ та математичних доказів дозволить створити новий рівень цифрової безпеки. Він порівняв роль формальної верифікації із тим, як ZK-SNARK-технології повернули блокчейнам масштабованість та приватність:
«ШІ дає можливість писати великі обсяги коду ціною точності, а формальна верифікація повертає […] точність».
У матеріалі співзасновник Ethereum також описав концепцію «безпечного ядра» цифрових систем. На його думку, у майбутньому більшість інтернет-інфраструктури складатиметься з ізольованих модулів, де критично важливі частини будуть проходити формальну перевірку та математичне доведення безпеки.
Ethereum, приватний ШІ та цифровий суверенітет
Тези Бутеріна продовжують його попередні заяви про необхідність зменшення залежності від централізованих платформ та розвитку цифрового суверенітету користувачів.
Раніше він наголосив, що 2026 рік має стати «роком відновлення цифрового суверенітету», а серед ключових інструментів назвав локальні та приватні сервіси на кшталт Signal, Session, SimpleX і OpenStreetMap.
Окремо Бутерін просуває концепцію приватного локального ШІ. Він вважає, що користувачі повинні зберігати контроль над власними даними та запускати ШІ-моделі локально, а не покладатися виключно на хмарні сервіси великих корпорацій.
Крім цього, співзасновник Ethereum продовжує працювати над масштабуванням мережі. У 2026 році він представив:
- новий стандарт EIP-8141 для абстракції акаунтів;
- концепцію оплати газу будь-якими токенами;
- правило «12 секунд» для швидких підтверджень транзакцій.
На його думку, майбутнє криптоіндустрії залежатиме не лише від продуктивності блокчейнів, а й від здатності створити інфраструктуру, якій користувачі зможуть довіряти навіть в епоху надпотужного ШІ.
Віталік Бутерін окреслив бачення Ethereum між децентралізацією, масштабуванням і ШІ 08.01.2026 Читати
Сообщение Віталік Бутерін заявив про нову еру безпеки Ethereum завдяки ШІ та формальній верифікації появились сначала на INCRYPTED.