NEAR 聯閤創始人：AI 輔助攻擊正令傳統代碼審査難以應對，區塊鏈應轉向形式化驗証。

BiRun 消息，NEAR Protocol 聯閤創始人 Illia Polosukhin 表示，AI 正幫助黑客更快發現軟件漏洞，傳統人工代碼審査已難以應對，因此區塊鏈開發應轉向形式化驗証，以數學証明代碼按預期運行。...