NEAR聯創：AI輔助駭客攻擊的速度正超過傳統的程式碼審查
0
PANews 7月21日消息，根據The Block報道，NEAR Protocol聯合創辦人Illia Polosukhin表示，AI正極大加速駭客發現軟體漏洞的能力，傳統程式碼審查模式已難以應付。 他指出，去年10月的Balancer事件是AI輔助駭客攻擊的開端，依賴人工審查的舊模式在AI時代已不可持續。 Polosukhin主張採用形式驗證，透過數學證明確保程式碼行為與規範完全一致。 AI可產生大部分證明，再由人類驗證其正確性，大幅縮短了證明生成時間。 他認為形式驗證應擴展到智慧合約之外，涵蓋關鍵網路和網路軟體。 NEAR同日發布升級，用戶可切換至抗量子帳戶金鑰，網路可隨活動成長自動擴展容量。
來源:
登入回覆
登入分享您的看法評論
相關文章