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

Коротко про головне

• ШІ створив клієнт для Ethereum обсягом 700000 рядків коду за два тижні
• Прототип охоплює 65 пунктів роудмапу та синхронізується з mainnet
• Бутерін закликає до додаткового тестування та формальної верифікації
• ШІ допоміг створити машинно-верифікований STARK-доказ

Віталік Бутерін каже, що ШІ може прискорити роудмап Ethereum до 2030 року на безпрецедентних рівнях безпеки. Він вказав на недавній експеримент, де розробник побудував прототип клієнта, узгоджений із роудмапом, за два тижні, використовуючи агентний кодинг. У прототипі близько 700000 рядків коду, він охоплює 65 пунктів роудмапу та синхронізується з Ethereum mainnet.

ШІ-побудований прототип узгоджується з роудмапом Ethereum до 2030 року

Співзасновник Ethereum Віталік Бутерін заявив, що ШІ пришвидшує розвиток Ethereum. Він навів приклад розробника, який використав агентний кодинг, щоб створити клієнт, узгоджений із роудмапом до 2030 року. Прототип було завершено приблизно за два тижні. Він містить близько 700000 рядків коду та підтримує 65 пунктів роудмапу. Клієнт синхронізується з Ethereum mainnet.

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

Звісно, у такій штуці, збудованій за два тижні навіть без наявності EIPs, є величезні застереження: майже напевно буде багато критичних багів, і, ймовірно, в деяких випадках це будуть “stub”-версії…

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

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

Прискорення приходить із технічними ризиками

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

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

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

Фокус на тестуванні та формальній верифікації

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

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

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