PANews 7月21日消息，根據 The Block 報導，NEAR Protocol 聯合創始人 Illia Polosukhin 表示，AI 正極大加速駭客發現軟體漏洞的能力，傳統的程式碼審查模式已難以應對。他指出，去年 10 月的 Balancer 事件是由 AI 輔助駭客攻擊的開端，依賴人工審查的舊模式在 AI 時代已不可持續。
Polosukhin 主張採用形式驗證，透過數學證明確保程式碼行為與規範完全一致。AI 可生成大部分證明，再由人類驗證其正確性，大幅縮短證明生成時間。他認為形式驗證應擴展到智慧合約之外，涵蓋關鍵的網際網路與網路軟體。同日，NEAR 發布升級，使用者可切換至抗量子帳戶金鑰，網路可在活動增長時自動擴展容量。
15.45萬 熱度
7.12萬 熱度
1.18億 熱度
118.84萬 熱度
94.38萬 熱度
NEAR 聯創：AI 輔助駭客攻擊的速度正在超過傳統的程式碼稽核
PANews 7月21日消息，根據 The Block 報導，NEAR Protocol 聯合創始人 Illia Polosukhin 表示，AI 正極大加速駭客發現軟體漏洞的能力，傳統的程式碼審查模式已難以應對。他指出，去年 10 月的 Balancer 事件是由 AI 輔助駭客攻擊的開端，依賴人工審查的舊模式在 AI 時代已不可持續。
Polosukhin 主張採用形式驗證，透過數學證明確保程式碼行為與規範完全一致。AI 可生成大部分證明，再由人類驗證其正確性，大幅縮短證明生成時間。他認為形式驗證應擴展到智慧合約之外，涵蓋關鍵的網際網路與網路軟體。同日，NEAR 發布升級，使用者可切換至抗量子帳戶金鑰，網路可在活動增長時自動擴展容量。