根據 The Block，NEAR Protocol 聯合創辦人 Illia Polosukhin 表示，7 月 21 日，AI 正在加速發掘駭客可利用軟體弱點的能力，速度比傳統程式碼審查所能應對的更快。Polosukhin 指出，2025 年 10 月的 Balancer 事件是 AI 輔助攻擊的開端，並主張在 AI 時代，舊有的人工手動審查方法已不再可持續。他主張採用形式化驗證，這是一種數學方法，能確保程式碼行為與規格完全一致；由 AI 產生大多數證明，人類再驗證其正確性，以顯著縮短證明生成時間。
免責聲明：本頁面資訊可能來自第三方來源，僅供參考，不代表 Gate 的立場或觀點，亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險，請勿僅依賴本頁資訊作出決策。詳情請參閱
免責聲明。
