ГоловнаНовинний центр LBank
Фундація Ethereum розкриває, чому ШІ досі не вдається виявляти реальні помилки
ethereum-foundation-reveals-why-ai-fails-finding-bugs
Фундація Ethereum розкриває, чому ШІ досі не вдається виявляти реальні помилки
Фундація Ethereum заявляє, що перевіряти звіти про помилки ШІ складніше, ніж їх генерувати. Агенти ШІ виявили справжню вразливість у libp2p, пізніше оприлюднену як CVE-2026-34219. Фундація зазначає, що людська валідація та відтворюваний доказ залишаються критично важливими для безпеки протоколу.
2026-07-09 Джерело:crypto.news

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

Коротко
  • Фундація Ethereum стверджує, що перевіряти звіти про баги, створені ШІ, складніше, ніж їх генерувати.
  • Агенти ШІ знайшли реальну вразливість у libp2p, яка згодом була розкрита як CVE-2026-34219.
  • Фундація заявляє, що людська валідація та відтворюваний доказ залишаються важливими для безпеки протоколу.

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

Команда описала результати в технічному дописі, пояснюючи, як вона тестувала агентів ШІ на системному програмному забезпеченні, криптографічних бібліотеках та високонадійних смарт-контрактах.

Одне підтверджене відкриття стосувалося дистанційно спрацьовуваної паніки в компоненті gossipsub бібліотеки libp2p, який є частиною однорангового мережевого рівня, що використовується клієнтами консенсусу Ethereum. Фундація Ethereum заявила, що вразливість була виправлена і пізніше розкрита як CVE-2026-34219.

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

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

Багатоагентний робочий процес фільтрує ненадійні звіти

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

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

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

Людська валідація залишається вирішальним фактором

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

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

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

Останнє оновлення безпеки з’явилося лише через кілька тижнів після завершення Фундацією Ethereum великої внутрішньої реструктуризації. В оголошенні від 23 червня організація повідомила, що скоротила свій персонал приблизно на 20%, звільнивши 54 співробітників після кількамісячного перегляду відповідно до своєї Політики управління мандатами та казначейством.

За словами Фундації, реструктуризація була спрямована на зосередження персоналу та ресурсів на обов’язках, які може виконувати лише організація, продовжуючи довгострокову розробку Ethereum.

Популярна криптовалюта
Зареєструйтеся зараз, щоб не пропустити жодного оновлення!