AI asistirani sigurnosni protokoli postaju ključni kako AI olakšava otkrivanje ranjivosti u blockchain infrastrukturi
Ethereum (ETH) se trguje na 2.120,54 dolara (+2,98% za 24 sata), dok ukupno tržište digitalnih valuta beleži oporavak. Uprkos pozitivnom sentimentu, bezbednost blockchain infrastrukture ostaje u fokusu nakon što je suosnivač Ethereum-a Vitalik Buterin istakao da bi veštačka inteligencija (AI), kombinovana sa formalnom verifikacijom, mogla postati jedan od najvažnijih alata za sajber bezbednost u kripto ekosistemu. Prema tržišnim podacima, rast Ethereum-a prate i drugi vodeći altcoini, sa Solanom (SOL) na 84,30 dolara (+2,28%) i XRP-om na 1,38 dolara (+2,26%).
Formalna verifikacija, odnosno upotreba matematički proverljivih dokaza za potvrdu tačnog ponašanja softvera, koristi se decenijama, ali Buterin tvrdi da najnoviji AI alati čine ovaj proces daleko pristupačnijim. On naglašava da AI može ubrzati i pisanje koda i izradu dokaza potrebnih za proveru bezbednosti, što je ključno za blockchain sisteme poput Ethereum-a, zero-knowledge dokaza i post-kvantne kriptografije.
Buterin upozorava da će napredak AI tehnologija najpre omogućiti brže otkrivanje ranjivosti i razvoj sve složenijeg softvera, što može povećati broj propusta. Međutim, smatra da će spoj AI generisanog koda i formalne verifikacije dugoročno povećati sigurnost vitalne internet infrastrukture. Posebno ističe decentralizovane finansije (DeFi), gde eksploatacije ranjivosti često rezultiraju višemilionskim gubicima.
“Bube u kompjuterskom kodu su ozbiljan problem, a rizik je još veći kada softver upravlja nepovratnim on-chain sredstvima ili naprednim kriptografskim sistemima”, piše Buterin. Dodaje da formalna verifikacija nije univerzalno rešenje, jer su moguće greške u pretpostavkama, hardverske ranjivosti ili nepokriveni delovi sistema.
Iako deo bezbednosnih stručnjaka izražava skeptičnost prema složenosti AI generisanog softvera, Buterin ostaje optimista: “AI omogućava brzo kreiranje velikih količina koda na uštrb preciznosti, dok formalna verifikacija vraća tu preciznost u sistem.” Zaključuje da postoji pozitivna budućnost za sajber bezbednost ukoliko se AI i formalna verifikacija integrišu u razvoj blockchain tehnologija.
Ova analiza dolazi u trenutku kada tržište digitalnih valuta beleži stabilan rast i povećanu aktivnost, a bezbednosna pitanja i dalje ostaju ključna za institucionalne i maloprodajne ulagače. Kripto još uvek nije regulisano u Srbiji, dok je dobit od trgovanja podložna oporezivanju od 15%.