Виталик Бутерин 17 қыркүйекте ИИ-хакерлердің киберқауіпсіздікті жойып жіберетіні туралы пікірдің қате екенін мәлімдеді. Ол 90% өзінің байлығы криптовалютада қалатынын еске салып, ИИ-мен қолдау көрсетілген формалды верификация бағдарламалық қамтамасыз етудің қауіпсіздік талаптарына сәйкес келетінін дәлелдеуге көмектесетінін айтты. Бутериннің айтуынша, Ethereum қауіпсіздік тобы қазірдің өзінде протокол кодын тексеру және осалдықтарды тәуелсіз түрде қайта жасау үшін ИИ-агенттерді пайдаланып жатыр. Anthropic мәліметтері бойынша, озық ИИ шабуылдарды жеделдетуі мүмкін, ал олардың модельдері мыңдаған осалдықтарды анықтады.
X платформасында жариялаған хабарламасында Бутерин «ИИ пайдалану арқылы хакерлік шабуылдар киберқауіпсіздіктің тағдыры шешілді» деген пікірмен келіспейтінін білдірді. Ол криптовалютаны ұстап отырғандардың сенімді цифрлық жүйелер автоматтандырылған шабуылдарға төтеп бере алатынын білдіретінін айтты. Ол формалды верификацияны математикалық спецификациялар мен дәлелдерді пайдаланып бағдарламалық қамтамасыз етуді бағалау техникасы ретінде сипаттап, жеткілікті қуатты ИИ «бұл бағдарлама қауіпсіз» екенін дәлелдеуге көмектесетінін атап өтті, тіпті бағдарламалық қамтамасыз ету күрделі болса да. Бутерин формалды верификацияның қорғаушыларға пайда әкелетінін, егер жүйе қандай қасиеттерге сәйкес келуі керек екенін анықтаса, атап өтті.
Ол сондай-ақ формалды верификацияны әзірлеу Ethereum протоколының қазіргі зерттеу бағдарламасының бөлігі болғанын айтты. 7 қыркүйекте Ethereum қоры формалды верификацияның оның көпжылдық зерттеулерінің әртүрлі салаларында, соның ішінде құпиялылық және кванттық есептеулерден кейінгі қауіпсіздік саласында қолданылатынын хабарлады. Осы контексте зерттеушілер ИИ-агенттерді машиналық тексерілетін дәлелдермен біріктіруді бастады.
Ұқсас мақалалар
