Pinapalakas ng artificial intelligence ang kakayahan ng mga hacker na makahanap ng mga kahinaan sa software nang mas mabilis kaysa sa tradisyunal na seguridad na makapag-patch nito, ayon kay Illia Polosukhin, co-founder ng NEAR Protocol, na nagsasaad na dapat lumingon ang mga developer sa mga patunay na pang-matematika upang masiguro ang kanilang code.

"Sasabihin ko talaga na noong nakaraang Oktubre — sa tingin ko ang Balancer ang kauna-unahan — doon nagsimula ang AI-assisted hacking," sabi ni Polosukhin nitong Lunes sa isang panayam kay Gareth Jenkinson sa The Starting Block podcast ng The Block.

Sinabi ni Polosukhin na ang cybersecurity hanggang sa puntong ito ay kadalasang kinasasangkutan ng "matatalinong tao" na nagsusuri ng code at umaasa na walang mas matalinong makakahanap ng bagay na kanilang nakaligtaan. Ang kaisipang iyon ay hindi na perpekto bago ang pagtaas ng AI, aniya, ngunit ang mga mas bago at mas may kakayahang modelo ay lalo itong ginagawang hindi sustainable.

"Kailangan natin ng ibang paraan ng pag-iisip," sabi ni Polosukhin. "Hindi ito tulad ng, 'Oh, susuriin natin ang lahat gamit ang mas mahusay na modelo at aasa na hindi ito matutuklasan ng susunod na mas mahusay na modelo.'"

Ang kanyang iminungkahing solusyon ay pormal na beripikasyon na matematikong nagpapatunay na ang code "ginagawa ang sinasabi nitong gawin." Ang prosesong ito ay naging mahal, mabagal, at nangangailangan ng maraming paggawa sa kasaysayan, ngunit sinabi ni Polosukhin na ang AI ay makakatulong na ngayon sa pagbuo ng karamihan sa kinakailangang patunay, na maaaring suriin nang hiwalay.

"Hindi mo kailangang umasa sa AI dahil ang AI ay gumagawa lamang ng patunay," aniya. "Sinusuri mo lang na tama ang patunay."

Ang isang kamakailang inisyatiba ng Zcash ay isang halimbawa ng inilalarawan ni Polosukhin. Ginamit ng Project Tachyon ang AI-assisted verification upang makagawa ng mathematical proof na ang Ironwood shielded pool ng Zcash ay hindi maaaring maglaman ng parehong uri ng undetectable counterfeiting bug na natuklasan sa Orchard pool nito noong nakaraang buwan.

Sinabi ng Project Tachyon na ang mga pagsulong sa AI-assisted proof generation ay nagpababa ng gawaing minsang tumatagal ng maraming taon sa loob lamang ng ilang linggo.

Ipinipilit din ni Polosukhin na ang diskarteng ito ay dapat na kalaunan ay lumampas sa mga smart contracts patungo sa kritikal na internet at networking software.

"Kailangan nating pundamental na lumipat sa pagbuo ng blockchain code — at totoo lang, lahat ng code sa internet — upang pormal na ma-verify," aniya.

Hiwalay nitong Lunes, naglunsad ang NEAR ng isang upgrade na naglalayong ihanda ang network para sa mga umuusbong na pangangailangan sa seguridad at scalability. Maaari na ngayong lumipat ang mga user sa quantum-resistant account keys, habang ang network ay awtomatikong makapagpapalawak ng kapasidad nito habang lumalaki ang aktibidad.