Віталік Бутерін каже, що штучний інтелект починає змінювати спосіб побудови Ethereum.
У недавньому дописі на X він описав експеримент, де AI використовувався для «віб-кодування» більшої частини дорожньої карти Ethereum 2030 року за кілька тижнів. Він назвав результат вражаючим, попереджаючи, що це все ще дуже експериментально.
Проєкт був завершений без завершення пропозицій щодо покращення Ethereum. Це, на його думку, означає, що код ймовірно містить серйозні помилки. Деякі функції можуть існувати лише як часткові реалізації. Шість місяців тому, додав він, навіть досягнення цього етапу здавалося неможливим.
Це досить вражаючий експеримент. Віб-кодування всієї дорожньої карти 2030 року за кілька тижнів.
Очевидно, що таке створення за два тижні без навіть EIP має великі застереження: майже напевно багато критичних помилок і, можливо, у деяких випадках — «заглушки» для функцій… https://t.co/ZlTg0r2hvI
— vitalik.eth (@VitalikButerin) 28 лютого 2026
Бутерін зазначив, що інструменти штучного інтелекту значно скорочують терміни розробки. Нещодавно він використав локальну відкриту модель для відтворення версії свого блогового програмного забезпечення приблизно за годину. За його словами, більш потужні моделі можуть завершити подібні проєкти за один спробу.
Дорожня карта Ethereum зосереджена на масштабуванні, посиленні децентралізації та покращенні безпеки блокчейну. Розробники працюють на різних рівнях протоколу, щоб зменшити трафік і підвищити ефективність. Швидші цикли кодування можуть прискорити ці паралельні зусилля.
Однак Бутерін застерігає від надмірної впевненості. Один запит не дасть безпечний виробничий код. Інженери повинні очікувати невідповідностей, збоїв у крайніх випадках і структурних прогалин. Що змінюється, за його словами, — це швидкість виявлення та виправлення цих проблем.
Замість того, щоб використовувати AI лише для швидкості, Бутерін запропонував спрямувати частину здобутків у підвищення безпеки. Це включає створення більшого обсягу тестових випадків і розширення зусиль з формальної перевірки.
Він зазначив про роботу в рамках LeanEthereum — дослідницької ініціативи, присвяченої математичній перевірці основних компонентів Ethereum. Один із партнерів, за його словами, нещодавно використав AI для побудови машинозчитуваного доведення складної теореми, що лежить в основі криптографії на базі STARK.
STARKи формують основу для кількох систем нуль-знання, що використовуються для масштабування мереж блокчейну. Створення формальних доведень для таких систем традиційно вимагало значних ручних зусиль. Тепер допомога AI зменшує цю перешкоду.
Формальна перевірка базується на математичних методах для підтвердження, що код працює точно так, як визначено. У безпеці блокчейну цей процес обмежує слабкі місця, які можуть призвести до експлойтів або фінансових втрат.
Бутерін визнав, що абсолютне, безпомилкове програмне забезпечення залишиться неможливим. Код не може ідеально відобразити всі людські наміри.
Однак він стверджує, що цілеспрямовані та перевірені гарантії безпеки можуть усунути більшість практичних ризиків.
У децентралізованих системах, побудованих на принципі відсутності необхідності довіряти іншим, більш високі стандарти перевірки зменшують залежність від соціальної координації або ручного контролю. Бутерін сказав, що подальший розвиток AI у кодуванні може сприяти підвищенню безпеки Ethereum, одночасно скорочуючи час розробки.
Пов'язані статті
Шлях Ethereum до $7K: зниження ставок, шок пропозиції та накопичення китів
Фінансова ставка Ethereum стала від’ємною! Виведення ETF, доходи від стейкінгу нижчі за стабільні монети
Активність у мережі Ethereum досягла історичного максимуму, але ціна ETH за 6 місяців знизилася на 30%, а за доходами від комісій посідає третє місце
Активні адреси Ethereum перевищили 2 мільйони, встановивши новий історичний рекорд, але ціна ETH продовжує залишатися під тиском, а потік капіталу стає ключовим фактором
Детальний аналіз ERC-8183: Відповідь на проблему довіри між AI-агентами у Ethereum