„Ethereum“ vienas iš įkūrėjų Vitalikas Buterinas teigė, kad dirbtinis intelektas gali paspartinti tinklo plėtros planą ir kartu pagerinti saugumo standartus.
Santrauka
- Vitalikas sako, kad dirbtinis intelektas galėtų pagreitinti „Ethereum“ planą ir pristatymo terminus.
- Pusė AI pelno turėtų būti skirta griežtesniam testavimui ir oficialiam patikrinimui.
- AI gali padėti pasiekti, kad kriptovaliutų kodas beveik be klaidų taptų realus.
Reaguodamas į eksperimentą, kurio metu kažkas per kelias savaites „užkodavo“ visą „Ethereum“ 2030 m. planą, Buterinas rašė, kad „prieš šešis mėnesius net tai buvo toli už galimybių ribų, o svarbu yra tai, kur juda tendencija“.
Buterinas asmeniškai išbandė dirbtinio intelekto kodavimą, per valandą sukurdamas savo tinklaraščio programinės įrangos atitikmenį, naudodamas nešiojamąjį kompiuterį.
„Ethereum“ įkūrėjas pasiūlė paimti pusę AI padidinto greičio ir pritaikyti juos saugumui atliekant daugiau bandymų atvejų, formalaus patikrinimo ir kelių diegimų.
„Žmonės turėtų būti atviri galimybei (ne tikrumui! galimybei), kad Ethereum planas bus baigtas daug greičiau, nei žmonės tikisi, esant daug aukštesniam saugumo standartui, nei tikisi.
AI leidžia formaliai patikrinti sudėtingus kriptografinius įrodymus
Lean Ethereum projekto bendradarbis sugebėjo dirbtiniu intelektu užkoduoti mašininiu būdu patikrinamą vienos iš sudėtingiausių teoremų, kuriomis STARK remiasi dėl saugumo, įrodymą.
Lean Ethereum iniciatyva siekiama oficialiai patikrinti visus komponentus, o dirbtinis intelektas pagerina galimybę pasiekti šį tikslą.
Buterinas pažymėjo, kad paprasčiausiai sugeneruoti daug didesnį bandomųjų atvejų skaičių svarbu ne tik formaliai patikrinti.
Dvi savaites trukusiame plano eksperimente buvo „didžiulių įspėjimų: beveik neabejotinai daug kritinių klaidų, o kai kuriais atvejais tikriausiai ir „įtrūkusios“ versijos, kai dirbtinis intelektas net nebandė sukurti pilnos versijos.
Tinkamas požiūris padalija AI pelną į greičio ir saugumo patobulinimus. „Nemanykite, kad galėsite įvesti vieną raginimą ir greitai gauti itin saugią versiją; BUS daug imtynių su klaidomis ir diegimų neatitikimais“, – perspėjo Buterinas.
Kodas be klaidų gali pereiti nuo idealistinio kliedesio prie pagrindinių lūkesčių
Buterinas išreiškė susijaudinimą dėl galimybės, kad kodas be klaidų, „ilgai laikytas idealistiniu kliedesiu, pagaliau taps įmanomas, o paskui – pagrindiniu lūkesčiu“. Jis suformulavo tai kaip būtiną kriptovaliutų sistemų nepasitikėjimui.
Visiškas saugumas išlieka neįmanomas, nes tam reikėtų tikslios kodo eilučių ir proto turinio atitikties, kurią Buterinas įvertino daugybe terabaitų informacijos.
Tam tikrais atvejais galima pateikti ir patikrinti konkrečias saugumo pretenzijas, pašalinant daugiau nei 99% neigiamų sugadinto kodo pasekmių.
Pareiškime AI rodoma kaip priemonė, skirta paspartinti kūrimo terminus ir vienu metu padidinti saugumo ribas.
„Buterin“ sistema rodo, kad dirbtinis intelektas galėtų pašalinti šį kompromisą, įgalindamas nuodugnų saugumo patikrinimą iki tol neįmanomu kūrimo greičiu.
