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