PANews 7月21日消息，據The Block報道，NEAR Protocol聯合創始人Illia Polosukhin表示，AI正極大加速駭客發現軟體漏洞的能力，傳統程式碼審查模式已難以應對。他指出，去年10月的Balancer事件是AI輔助駭客攻擊的開端，依賴人工審查的舊模式在AI時代已不可持續。

Polosukhin主張採用形式驗證，透過數學證明，確保程式碼行為與規範完全一致。AI可生成大部分證明，再由人類驗證其正確性，大幅縮短了證明生成時間。他認為形式驗證應擴展到智能合約之外，覆蓋關鍵網際網路和網路軟體。NEAR同日發布升級，用戶可切換至抗量子帳戶密鑰，網路可隨活動增長自動擴展容量。