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

• Агентне кодування створило прототип клієнта Ethereum обсягом 700 000 рядків за кілька тижнів, відповідно до дорожньої карти 2030 року.
• Бутерін закликає поєднувати швидше кодування за допомогою штучного інтелекту з формальною верифікацією, розширеними тестовими наборами та багатоклієнтськими перевірками.
• Він також детально описав дорожню карту квантової стійкості, яка замінює BLS та додає системи на основі хешів і STARK.

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

Переваги AI-інструментів у кодуванні та тестуванні

За словами Бутеріна, розробник використав агентне кодування для створення прототипу клієнта Ethereum, відповідного дорожній карті 2030 року. Зазначається, що прототип містив приблизно 700 000 рядків коду та охоплював 65 пунктів дорожньої карти. Також він синхронізувався з основною мережею Ethereum протягом двох тижнів.

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

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

Формальна верифікація та безпека

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

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

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

Деталі дорожньої карти квантової стійкості

Окремо Бутерін окреслив дорожню карту квантової стійкості Ethereum. Він виявив уразливості у підписах консенсусу BLS, доступності даних на основі KZG, підписах рахунків ECDSA та системах доказів з нульовим розкриттям. Щоб їх подолати, він запропонував замінити BLS на хеш-основні підписи та використовувати агрегування STARK.

Щодо зовнішніх облікових записів, Бутерін послався на EIP-8141. Це дозволить використовувати кілька схем підпису, включаючи квантовіростійкі варіанти. Він визнав, що це може збільшити газові витрати, але зазначив, що з часом ефективність має покращитися.

Дорожня карта також охоплює системи доказів. Хоча доказові системи STARK коштують дорожче за сучасні ZK-SNARK, їх агрегування може зменшити обчислювальні навантаження на блокчейні. Минулого місяця Фонд Ethereum заявив, що наступна фаза екосистеми розширить можливості, зберігаючи довгострокову безпеку та стійкість.