Ethereum Foundation (EF) компаниясының Protocol Security тобы блокчейн инфрақұрылымының маңызды компоненттеріне үйлестірілген жасанды интеллект агенттерін жіберіп, ауқымды эксперимент жүргізді. Тексеру нысандары жүйелік бағдарламалық қамтамасыз ету, криптографиялық код және смарт-келісімшарттар болды. Нәтижелер күтпеген болды: негізгі мәселе қателерді анықтау емес, олардың дұрыстығын тексеру болып шықты.
Бір репозиторийге қарсы параллельді жұмыс істейтін бірнеше мамандандырылған жасанды интеллект жүйелерін пайдалану жүктемені қайта бөлуге мүмкіндік берді. Кейбір агенттер кодты алғашқы барлауға, басқалары әлеуетті осалдықтарды іздеуге, олқылықтарды толтыруға және валидацияға жауапты болды. Үйлестіру ортақ репозиторий мен нұсқаны басқару жүйесі арқылы жүзеге асырылды.
EF-те атап өткендей, агенттер шынымен де қателерді табады, бірақ нақты тосынсый — нақты осалдықтарды жалған оң нәтижелерден ажырату бойынша титаникалық жұмыспен салыстырғанда оларды іздеуге кететін шығындардың аздығы. Зерттеушілер жасанды интеллект адамды алмастырмағанын, тек «тар жерді» ауыстырғанын атап көрсетеді: гипотезаларды қалыптастырудың орнына мамандар енді генерацияланған кандидаттардың үлкен массивін триажға жұмсайды.
Практикалық нәтижелер
Жария түрде ашылған мысал — libp2p gossipsub Rust іске асырылуындағы CVE-2026-34219 осалдығы. Backoff мерзімінің аяқталуын өңдеудегі қате backoff мәні дерлік максималды болатын арнайы жасалған PRUNE хабарламасын өңдеу кезінде процестің қашықтан апатты түрде аяқталуына әкелді. Себебі — Instant + Duration қосу кезіндегі тексерілмеген арифметика, бұл толып кетуге әкеледі.
Алайда, жасанды интеллект агенттері тапқан кандидаттардың көпшілігі жалған оң, қайталанатын немесе тексеру шеңберінен тыс мәселелер болып шықты. EF-те бұл сәтсіздік емес, әдістеменің қалыпты бөлігі деп санайды. Агенттер дұрыс әрекеттердің ұзын тізбегі арқылы ғана көрінетін осалдықтарды нашар анықтайды — мұндай логика күдікті фрагментті табуды ғана емес, сонымен қатар күйлердің барлық тізбегіне қол жеткізу мүмкіндігін дәлелдеуді талап етеді.
Қайта ұйымдастыру контексті
Жарияланым қордың ауқымды қайта құрылымдауымен тұспа-тұс келді. Маусым айында EF штатты 20%-ға қысқартты, жаңартылған басқару құрылымын ұсынды, ал негізін қалаушы Виталик Бутерин ұзақ мерзімді капиталды басқару моделіне көшу аясында бюджетті шамамен 40%-ға қысқартуды жариялады. Протоколды әзірлеуді үйлестірумен, желі жаңартуларын бақылаумен және EIP қолдауымен айналысатын Protocol Support тобының таратылуы басымдықтардың өзгеруі туралы сигналды күшейтеді.
Сарапшылық пікір: EF эксперименті жасанды интеллект агенттері кодты алғашқы скринингтеу үшін қуатты құралға айналатынын, бірақ терең адамдық талдау қажеттілігін жоймайтынын көрсетеді. Бюджетті қысқарту және қайта ұйымдастыру жағдайында мұндай тәсіл Ethereum қауіпсіздігін сақтау үшін негізгі болуы мүмкін, бірақ ол триаж үшін түбегейлі жаңа инфрақұрылымды талап етеді. Нарық блокчейндердегі қауіпсіздік аудитінің парадигмасы қаншалықты өзгеретінін әлі жеткілікті бағаламайды.