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

• Інструменти штучного інтелекту значно скорочують терміни розробки Ethereum, дозволяючи швидке прототипування та ітерацію.
• Формальна перевірка з використанням AI прискорює доведення складних криптографічних алгоритмів на основі STARK, підвищуючи безпеку блокчейну.
• Розподіл здобутків AI між швидкістю та безпекою дозволяє розробникам Ethereum розширювати тестове покриття та зменшувати кількість критичних помилок.

Віталік Бутерін каже, що штучний інтелект починає змінювати спосіб побудови Ethereum.

У недавньому дописі на X він описав експеримент, де AI використовувався для «віб-кодування» більшої частини дорожньої карти Ethereum 2030 року за кілька тижнів. Він назвав результат вражаючим, попереджаючи, що це все ще дуже експериментально.

Проєкт був завершений без завершення пропозицій щодо покращення Ethereum. Це, на його думку, означає, що код ймовірно містить серйозні помилки. Деякі функції можуть існувати лише як часткові реалізації. Шість місяців тому, додав він, навіть досягнення цього етапу здавалося неможливим.

Це досить вражаючий експеримент. Віб-кодування всієї дорожньої карти 2030 року за кілька тижнів.

Очевидно, що таке створення за два тижні без навіть EIP має великі застереження: майже напевно багато критичних помилок і, можливо, у деяких випадках — «заглушки» для функцій… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 лютого 2026

Збільшення швидкості кодування за допомогою AI — але не ідеальність

Бутерін зазначив, що інструменти штучного інтелекту значно скорочують терміни розробки. Нещодавно він використав локальну відкриту модель для відтворення версії свого блогового програмного забезпечення приблизно за годину. За його словами, більш потужні моделі можуть завершити подібні проєкти за один спробу.

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

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

Формальна перевірка виходить на передній план

Замість того, щоб використовувати AI лише для швидкості, Бутерін запропонував спрямувати частину здобутків у підвищення безпеки. Це включає створення більшого обсягу тестових випадків і розширення зусиль з формальної перевірки.

Він зазначив про роботу в рамках LeanEthereum — дослідницької ініціативи, присвяченої математичній перевірці основних компонентів Ethereum. Один із партнерів, за його словами, нещодавно використав AI для побудови машинозчитуваного доведення складної теореми, що лежить в основі криптографії на базі STARK.

STARKи формують основу для кількох систем нуль-знання, що використовуються для масштабування мереж блокчейну. Створення формальних доведень для таких систем традиційно вимагало значних ручних зусиль. Тепер допомога AI зменшує цю перешкоду.

Формальна перевірка базується на математичних методах для підтвердження, що код працює точно так, як визначено. У безпеці блокчейну цей процес обмежує слабкі місця, які можуть призвести до експлойтів або фінансових втрат.

Підвищення стандартів безпеки

Бутерін визнав, що абсолютне, безпомилкове програмне забезпечення залишиться неможливим. Код не може ідеально відобразити всі людські наміри.

Однак він стверджує, що цілеспрямовані та перевірені гарантії безпеки можуть усунути більшість практичних ризиків.

У децентралізованих системах, побудованих на принципі відсутності необхідності довіряти іншим, більш високі стандарти перевірки зменшують залежність від соціальної координації або ручного контролю. Бутерін сказав, що подальший розвиток AI у кодуванні може сприяти підвищенню безпеки Ethereum, одночасно скорочуючи час розробки.