Svmuu訊 NEAR Protocol 聯合創始人 Illia Polosukhin 表示，AI 正大幅加速黑客發現軟件漏洞的能力，傳統代碼審查模式已難以應對。他指出，去年 10 月的 Balancer 事件是 AI 輔助黑客攻擊的開端，依賴人工審查的舊模式在 AI 時代已不可持續。Polosukhin 主張採用形式驗證，通過數學證明確保代碼行為與規範完全一致。AI 可生成大部分證明，再由人類驗證其正確性，大幅縮短證明生成時間。他認為形式驗證應擴展到智能合約之外，覆蓋關鍵互聯網和網絡軟件。NEAR 同日發佈升級，用户可切換至抗量子賬户密鑰，網絡可隨活動增長自動擴展容量。