據 Woofun AI 消息，NEAR協議聯合創始人伊利亞·波洛蘇欣發出嚴厲警告，指出人工智能驅動的黑客攻擊正嚴重威脅區塊鏈生態，傳統代碼審查方法已顯不足。

自去年10月起，AI引發的攻擊顯著加劇，這標誌着網絡安全領域的一個轉折點。此類攻擊在複雜程度和速度上遠超人工審計，後者往往效率低下、成本高昂且容易出錯。相比之下，AI能在幾秒鐘內生成數千種攻擊路徑，以遠超人類團隊反應速度的方式檢測智能合約及去中心化應用中的漏洞。

Woofun AI 整理數據顯示，形式化驗證通過數學方法確保代碼按預期運行，雖歷史上成本高昂且計算量大，但能提供傳統測試無法達到的確定性水平。波洛蘇欣呼籲整合人工智能工具，使該過程更快捷、更經濟，從而在代碼部署之前從數學層面保證安全性，降低那些已給加密貨幣行業造成數十億損失的漏洞攻擊風險。

對於區塊鏈開發者而言，這意味着需採用新的工具和工作流程，將可驗證的安全性置於速度之上。用戶和投資者將見證行業風險管理能力的提升，而未能實施完善驗證機制的項目可能面臨監管機構和市場更加嚴格的審視。伊利亞·波洛蘇欣倡導廣泛採用形式化驗證，凸顯代碼安全領域變革之必要，當前挑戰在於如何讓整個生態系統中的開發者都能以經濟實惠的方式使用這些先進技術。