Inteligența artificială amplifică capacitatea hackerilor de a găsi vulnerabilități în software mai rapid decât le poate remedia securitatea tradițională, potrivit co-fondatorului NEAR Protocol, Illia Polosukhin, care susține că dezvoltatorii ar trebui să apeleze la dovezi matematice pentru a-și securiza codul.

"De fapt, aș spune că în octombrie anul trecut — cred că Balancer a fost primul — atunci a început hacking-ul asistat de inteligența artificială", a declarat Polosukhin luni, într-un interviu cu Gareth Jenkinson la podcastul The Starting Block de la The Block.

Polosukhin a spus că, până în prezent, securitatea cibernetică a implicat în mare parte „oameni inteligenți” care revizuiau codul și sperau că nimeni mai inteligent nu va găsi ceva ce le-a scăpat. Această mentalitate era deja imperfectă înainte de apariția AI, a spus el, dar modelele mai noi și mai capabile o fac și mai puțin sustenabilă.

„Avem nevoie de un alt mod de gândire”, a spus Polosukhin. „Nu este ca și cum, „Oh, vom revizui totul cu un model mai bun și vom spera că următorul model mai bun nu o va găsi.””

Soluția sa propusă este verificarea formală care demonstrează matematic că codul „face ceea ce spune că face”. Acest proces a fost istoric costisitor, lent și intensiv din punct de vedere al muncii, dar Polosukhin a spus că AI poate acum ajuta la generarea majorității dovezilor necesare, care pot fi apoi verificate independent.

„Nu trebuie să te bazezi pe AI, deoarece AI produce doar dovada”, a spus el. „Doar verifici că dovada este corectă.”

O inițiativă recentă Zcash este un exemplu a ceea ce descrie Polosukhin. Proiectul Tachyon a folosit verificarea asistată de AI pentru a produce o dovadă matematică conform căreia pool-ul protejat Ironwood al Zcash nu poate conține același tip de eroare de contrafacere nedetectabilă care a fost găsită în pool-ul său Orchard luna trecută.

Proiectul Tachyon a declarat că progresele în generarea de dovezi asistate de AI au redus munca ce dura ani la doar câteva săptămâni. 

Polosukhin susține, de asemenea, că această abordare ar trebui să depășească în cele din urmă contractele inteligente și să se aplice software-ului critic de internet și rețelistică.

„Trebuie să trecem fundamental la construirea codului blockchain — și, sincer, a întregului cod de pe internet — pentru a fi verificat formal”, a spus el.

Separat, luni, NEAR a lansat o actualizare menită să pregătească rețeaua pentru cerințele emergente de securitate și scalabilitate. Utilizatorii pot acum trece la chei de cont rezistente la cuantică, în timp ce rețeaua își poate extinde automat capacitatea pe măsură ce activitatea crește.