Ayon kay Vitalik Buterin, co-founder ng Ethereum, hindi ibig sabihin ng AI ang katapusan ng cybersecurity, sa halip ay iginiit niya na ang mga advanced na modelo ay makakatulong na gawing mas mahirap sirain ang crypto software.

Sa isang post nitong Miyerkules sa X, iginiit ni Buterin na hindi magbibigay ang AI ng napakalaking kalamangan sa mga hacker, at idinagdag na ang mga may hawak ng crypto—kasama na siya, na humigit-kumulang 90% ng kanyang net worth ay nasa crypto—ay tumataya na kayang makasabay ang mga depensa sa seguridad.

“Ito ay isang lalong nagiging karaniwang pananaw na ang hacking na pinapagana ng AI ay nangangahulugang tiyak ang pagkatalo ng cybersecurity,” isinulat ni Buterin. “Hindi ako sumasang-ayon. Sa tingin ko, likas na pabor sa depensa ang cybersecurity kapag naayos na ng mga tao ang kanilang mga sarili.”

Iginiit ni Buterin na kayang gawing praktikal ng AI ang pormal na veripikasyon—ang paggamit ng mga patunay sa matematika upang patunayan na ligtas ang software—kahit sa mga kumplikadong sistema.

“Kung kayang patunayan ng AI ang Navier-Stokes at FLT, kung gayon kayang patunayan ng AI ang pahayag na ‘ligtas ang programang ito’ bilang isang teoremang matematikal,” isinulat niya. “Kahit na napakakumplikado ng programa.”

Sa madaling salita, naniniwala si Buterin na ang AI na sapat ang sopistikasyon para lutasin ang mga sikat na mahirap na problema sa matematika ay maaari ring magpatunay na maging ang kumplikadong software ay nakakatugon sa malinaw na tinukoy na mga kinakailangan sa seguridad.

Gayunpaman, hindi ito nangangahulugang madali ang seguridad, aniya. Ang mahirap na bahagi ay ang pagtukoy kung ano ang ibig sabihin ng “secure” sa simula pa lang.

Lalong ginagamit ng mga developer ng blockchain ang mga ahente ng AI upang i-scan ang code, subukan ang mga exploit, at kumpirmahin ang mga bug bago pa makakilos ang mga umaatake, kung saan natuklasan ng mga mananaliksik ang mga kahinaan sa imprastraktura ng Ethereum at software ng Bitcoin.

Ang mga developer sa buong crypto space ay nagde-deploy ng AI nang depensiba matapos ang ilang insidente na nagpasiklab ng takot na nagbibigay ang AI ng kalamangan sa mga umaatake.

Noong Mayo, ginamit ng security researcher na si Taylor Hornby ang Claude Opus 4.8 upang matuklasan ang isang apat na taong gulang na depekto sa Orchard privacy pool ng Zcash na maaaring nagbigay-daan sa walang limitasyon, hindi matukoy na pagpapalsipika ng ZEC, bagaman walang nakitang ebidensya ang mga developer na na-exploit ito bago nila ito na-patch noong Hunyo.

Bumilis ang labanan sa pagitan ng mga umaatake at nagtatanggol noong Hulyo, nang sabihin ng mga mananaliksik ng Ethereum Foundation na natuklasan ng mga ahente ng AI ang mga kahinaan sa kritikal na imprastraktura ng network. Sa parehong buwan, sinimulan ng mga umaatake ang pag-drain ng mga Coldcard wallet sa pamamagitan ng isang taon nang depekto sa firmware na nagpahina sa pagbuo ng seed, na sa huli ay nagnakaw ng humigit-kumulang $130 milyon sa Bitcoin. Sinabi ng Coldcard maker na Coinkite na malamang na nakatulong ang AI sa pagtukoy ng bug.

Pagsapit ng Agosto, kumalat ang banta sa buong Bitcoin software ecosystem. Sinuspende ng Boltz ang serbisyo nitong swap, na nagsasabing mas mabilis na nakakahanap ng mga depekto ang mga pinaghihinalaang umaatake kaysa sa kaya ng mga developer nito na ayusin, habang kinumpirma naman ng Core Lightning na totoo ang ilang kahinaan na natukoy sa mga ulat na binuo ng AI. Bilang tugon, ginamit ng volunteer na Bitcoin Red Team ang mga audit na tinulungan ng AI upang itala ang 4,962 potensyal na kahinaan sa 390 proyekto.

Sinabi ni Buterin na kayang i-verify ngayon ng AI ang buong programa sa halip na pumili ng mga bahagi, isang pamamaraan na planong sundin ng Ethereum sa susunod na ilang taon.

“Walang kinabukasan ang mga blockchain—lalo na ang mga blockchain na may scalability at privacy—kung hindi ito gagawin,” aniya. “Kailangan nating gawing talagang secure ang software. At marami na tayong nagawa.”