人工智慧正在大幅提升駭客發現軟體漏洞的能力，速度超越傳統安全措施修補的速度，NEAR Protocol 共同創辦人 Illia Polosukhin 認為開發者應該轉向使用數學證明來保護其程式碼。

「我會說，實際上是去年十月——我認為 Balancer 是第一個——那時人工智慧輔助的駭客攻擊就開始了，」Polosukhin 週一在 The Block 的 The Starting Block 播客節目中接受 Gareth Jenkinson 採訪時表示。

Polosukhin 表示，迄今為止，網路安全主要涉及「聰明人」審查程式碼，並希望沒有更聰明的人發現他們遺漏的東西。他說，在人工智慧興起之前，這種思維模式已經不完善，但更新、更強大的模型使其變得更難以持續。

「我們需要一種不同的思維方式，」Polosukhin 說。「這不像『哦，我們要用一個更好的模型來審查所有東西，並希望下一個更好的模型不會找到它。』」

他提出的解決方案是形式化驗證，透過數學方式證明程式碼「確實執行其所聲稱的功能」。這個過程歷來昂貴、緩慢且耗費人力，但 Polosukhin 表示，人工智慧現在可以幫助生成大部分必要的證明，然後可以獨立檢查這些證明。

「你不需要依賴人工智慧，因為人工智慧只是產生證明，」他說。「你只需要驗證證明是否正確。」

Zcash 最近的一項倡議就是 Polosukhin 所描述的例子。Tachyon 專案利用人工智慧輔助驗證，產生了一個數學證明，證明 Zcash 的 Ironwood 隱私池不會包含上個月在其 Orchard 池中發現的那種無法偵測到的偽造錯誤。

Tachyon 專案表示，人工智慧輔助證明生成方面的進步已將過去需要數年才能完成的工作縮短到數週。 

Polosukhin 還主張，這種方法最終應該超越智慧合約，擴展到關鍵的網際網路和網路軟體。

「我們需要從根本上轉變，以形式化驗證的方式來建構區塊鏈程式碼——老實說，是所有網際網路上的程式碼，」他說。

另外在週一，NEAR 推出了一項升級，旨在為網路應對新興的安全和可擴展性需求做好準備。用戶現在可以切換到抗量子帳戶金鑰，同時網路可以在活動增加時自動擴展其容量。