據 Woofun AI 消息，NEAR Protocol 聯合創始人 Illia Polosukhin 指出，人工智能顯著提升了黑客發現軟件漏洞的能力，致使傳統代碼審查模式難以應對。他以去年 10 月的 Balancer 事件爲例，認爲這標誌着 AI 輔助黑客攻擊時代的開啓，依賴人工審查的舊模式已不可持續。

Polosukhin 提倡採用形式化驗證技術，利用數學證明確保代碼行爲符合設計規範。他提出由 AI 生成大部分證明、人類覈查正確性的協作模式，以大幅縮短時間。此外，該技術應擴展至各類關鍵互聯網軟件。同日，NEAR 發佈升級，支持用戶切換抗量子攻擊賬戶密鑰，並實現隨用量自動擴展處理能力。