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

Одна з підтверджених знахідок стосується компонента libp2p gossipsub, який клієнти консенсусного рівня Ethereum застосовують для взаємодії між вузлами мережі. Помилку вже виправили, а їй присвоїли ідентифікатор CVE-2026-34219.

Знайти баг — легко, довести, що він реальний — складно

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

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

Ethereum Foundation

У фонді провели порівняння ШІ-агентів із класичними фаззерами — інструментами автоматичного тестування коду. На відміну від традиційних фаззерів, агенти не просто сигналізують про підозрілу ділянку, а й дають пояснення проблеми, оцінюють її вплив і критичність та готують доказ концепції (Proof-of-Concept).

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

Кандидат не є вразливістю, доки не існує самодостатній артефакт, який відтворює збій у реальному коді та працює для людини, яка його не створювала

дослідники Ethereum Foundation

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

Роль дослідників безпеки не зникає, а змінюється

У Ethereum Foundation підкреслили: поява штучного інтелекту не применшила значення фахівців із кібербезпеки, а лише перерозподілила їхні завдання.

ШІ не замінив дослідника безпеки. Він просто змістив фокус роботи. Час, який раніше витрачався на пошук гіпотез, тепер іде на їх масштабну перевірку

Ethereum Foundation

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

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

Ethereum Foundation

У фонді додали, що на тлі швидкого розвитку генеративного штучного інтелекту головним викликом перестав бути власне пошук помилок. Натомість на перший план виходить перевірка достовірності отриманих результатів та їхній ретельний аналіз.

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

Джерело: Galera News