Мазмұны
- AI көмегімен кодты тексеру түсіндірілді
- Бутериннің керемет AI алады
Жақында әлеуметтік желідегі жазбасында Ethereum негізін қалаушы Виталик Бутерин деп атап өтті Ethereum желісінде кодты тексеру және қателерді анықтау тәсілін өзгертуде жасанды интеллекттің (AI) әлеуеті.
Бутерин AI көмегімен кодты ресми тексеруге деген ынтасын білдірді, бүгінгі күні Ethereum алдында тұрған ең үлкен техникалық қауіп оның кодындағы қателерден туындайтынын атап өтті.
Жасанды интегралды интеграцияны әзірлеу процесіне енгізу, оның пікірінше, бұл тәуекелдерді айтарлықтай азайтып, қауіпсіз және сенімді блокчейн инфрақұрылымын қамтамасыз ете алады.
AI көмегімен кодты тексеру түсіндірілді
Бутериннің толқуының негізінде AI көмегімен ресми тексеру тұжырымдамасы жатыр, бұл процесс блокчейн қауіпсіздігі мен тиімділігінің көрінісін түбегейлі өзгерте алады.
Формальды тексеру жүйенің негізгі алгоритмдерінің дұрыстығын дәлелдеу немесе жоққа шығару үшін математикалық модельдерді пайдалануды білдіреді, олардың барлық мүмкін шарттарда дәл тағайындалғандай әрекет етуін қамтамасыз етеді.
Осы контексте AI-ны қолдана отырып, әзірлеушілер ақылды келісімшарттардағы және басқа блокчейнге қатысты кодтардағы қателер мен осалдықтарды анықтауды автоматтандырып, жақсарта алады, бұл қымбат эксплуатациялар мен сәтсіздіктердің алдын алады.
Бұл тәсіл Ethereum блокчейнінің беріктігін жақсартуға уәде беріп қана қоймайды, сонымен қатар қателер мен қауіпсіздік кемшіліктері кең таралған мәселе болып қалатын бағдарламалық жасақтаманы әзірлеудің кең саласында алға жасалған маңызды қадам болып табылады.
Бутериннің керемет AI алады
U.Today хабарлағандай, Бутерин сонымен қатар AI технологиясының эволюциясын әзілмен қабылдау арқылы өзінің тапқырлығын көрсетті. Ойын посты арқылы ол фильмдердегі AI-ның драмалық, жиі қорқытатын бейнесін бүгінгі сұхбаттас AI-ның шындығына қарсы қойды.
Дегенмен, ол бұған дейін интеллектуалды AI тудыратын экзистенциалды тәуекелдерге қатысты алаңдаушылықтарын білдіріп, AI-дағы бақылаусыз жетістіктер адамдар енді басым күш болмайтын нәтижелерге әкелуі мүмкін деп болжайды.
Бутериннің пікірінше, AI мен блокчейннің конвергентті қолдану жағдайлары, әсіресе AI микро масштабтағы операцияларды жақсарту үшін қолданыстағы тетіктерге біріктірілген кезде, перспективалы және іске асыру оңай екендігін дәлелдейтін маңызды әлеуетті ұсынады. Дегенмен, блокчейн және криптографиялық әдістер арқылы біртұтас, орталықтандырылмаған, сенімді AI – «бірыңғай» құру айтарлықтай қиындықтар мен тәуекелдерді тудырады.
Дереккөз: https://u.today/ethereums-buterin-names-most-exciting-ai-application