Ethereum Foundation повідомила, що скоординовані AI-агенти виявили реальні програмні помилки під час тестів безпеки, поки Ethereum (ETH) готується до масштабних змін протоколу.
Основне:
- AI-агенти знайшли справжні вразливості, зокрема збій клієнта консенсусу, який можна було спровокувати віддалено.
- Дослідники зазначають: автоматизовані системи розширюють зону покриття, але генерують правдоподібні хибні спрацювання.
- Участь людських фахівців із безпеки залишається критичною для перевірки висновків і оцінки їхньої критичності.
Тести з AI в Ethereum
Команда Protocol Security фонду розповіла, що її скоординовані агенти знайшли реальні вразливості під час аналізу коду Ethereum, зокрема віддалено спричинювану «panic»-помилку в одноранговому (peer-to-peer) шарі, який використовують клієнти консенсусу. Розробники вже усунули цю проблему.
За словами дослідників, не сам факт виявлення багів став несподіванкою, а те, що знайти їх виявилося простіше, ніж відокремити справжні помилки від дуже переконливих, але хибних.
«Справжнім сюрпризом стало те, наскільки мала частина роботи припала на пошук багів, і наскільки велика — на відрізнення реальних проблем від тих, що лише виглядали реальними», — зазначила команда.
Фонд поділив робочий процес на ролі: розвідка, пошук, закриття прогалин і валідація, спираючись на попередні дослідження Anthropic та Cloudflare. Повідомляється, що агенти добре впоралися із завданнями зіставлення специфікацій із кодом і пропонування можливих кореневих причин збоїв.
Водночас системи іноді трактували недосяжні ланцюжки викликів як експлойтовані та перебільшували серйозність вразливостей. Команда наголосила, що люди-рев’юери й надалі мають перевіряти, чи є повідомлені проблеми справжніми, і визначати їхній практичний вплив.
«Агенти дозволяють нам охопити набагато більший обсяг, ніж ми могли б вручну, — йдеться в дописі. — В обмін на це вони вимагають значно більш виваженого судження щодо величезної кількості дуже впевнених тверджень».
Читайте також: Чи йде Чарльз Хоскінсон з Cardano? Він назвав цю заяву повною брехнею
Поворот у стратегії безпеки Ethereum
Експеримент відбувається на тлі того, як фонд звужує фокус до розробки базового шару, криптографічного захисту та нагальних виправлень безпеки. У червні організація також окреслила плани ширше делегувати повноваження спільноті екосистеми Ethereum.
Неприбуткова структура скоротила штат приблизно на 20% і майже вдвічі урізала річний бюджет, закривши, зокрема, команду Protocol Support. Натомість з’явилися нові гравці — Ethlabs та Ethereum Institutional, які мають посилити дослідницькі та аналітичні можливості екосистеми.
Глибше переформатування пов’язане із запропонованою дорожньою картою Lean Ethereum, яку, за словами Віталіка Бутеріна, можуть реалізовувати до чотирьох років. Заплановані зміни торкнуться кількох ключових компонентів мережі й мають забезпечити більшу продуктивність, стійкість і захист від майбутніх загроз з боку квантових обчислень.
Останній перехід подібного масштабу для Ethereum — це The Merge, коли мережа відмовилася від майнінгу на proof-of-work на користь валідаторів у моделі proof-of-stake. Поточний акцент на безпеці відображає зростання інженерного навантаження напередодні чергового великого редизайну.
Далі до теми: Palantir звільняє 50 інженерів і втрачає чверть капіталізації: що пішло не так?