以太坊共同創辦人 Vitalik Buterin 表示，人工智慧並不代表網路安全的終結，反而認為先進模型可以幫助加密軟體更難被攻破。

週三，Buterin 在 X 上發文稱，人工智慧不會給駭客帶來不可逾越的優勢，並補充說加密貨幣持有者——包括他自己，其淨資產約 90% 都在加密貨幣中——都相信安全防禦措施能夠跟上腳步。

Buterin 寫道：「越來越多人認為人工智慧駭客意味著網路安全註定失敗。」「我不同意。我認為一旦人們組織起來，網路安全自然會傾向於防禦方。」

Buterin 認為，人工智慧可以使形式化驗證（即使用數學證明來確立軟體安全性）即使對於複雜系統也能變得實用。

他寫道：「如果人工智慧能夠證明納維-斯托克斯方程式和費馬大定理，那麼人工智慧也能夠將『這個程式是安全的』這個陳述證明為一個數學定理。」「即使程式非常複雜。」

換句話說，Buterin 相信，足夠複雜以解決著名數學難題的人工智慧，也能證明即使是複雜的軟體也符合明確定義的安全要求。

然而，他說，這並不意味著安全很容易。困難之處在於首先定義「安全」的含義。

區塊鏈開發人員正越來越多地利用人工智慧代理來掃描程式碼、測試漏洞利用和驗證錯誤，以搶在攻擊者之前採取行動；研究人員已在以太坊基礎設施和比特幣軟體中發現了漏洞。

在加密領域，開發人員正防禦性地部署人工智慧，此前發生了多起事件，引發了人們對人工智慧賦予攻擊者優勢的擔憂。

五月，安全研究員 Taylor Hornby 使用 Anthropic 的 Claude Opus 4.8 發現了 Zcash Orchard 隱私池中一個存在四年的漏洞，該漏洞可能導致無限量、無法追蹤的 ZEC 偽造，儘管開發人員在六月修補之前未發現任何被利用的證據。

七月，攻擊者與防禦者之間的競賽加速，當時以太坊基金會研究人員表示人工智慧代理發現了關鍵網路基礎設施中的漏洞。同月，攻擊者透過一個存在多年的韌體漏洞，削弱了種子生成機制，開始掏空 Coldcard 錢包，最終竊取了大約 1.3 億美元的比特幣。Coldcard 製造商 Coinkite 表示，人工智慧可能協助發現了這個錯誤。

到了八月，威脅已蔓延至比特幣軟體生態系統。Boltz 暫停了其兌換服務，稱被懷疑的攻擊者發現漏洞的速度比其開發人員修復的速度更快，而 Core Lightning 證實，人工智慧生成的報告中指出的幾個漏洞是真實存在的。作為回應，志願的比特幣紅隊使用人工智慧輔助審計，在 390 個項目中標記了 4,962 個潛在漏洞。

Buterin 表示，人工智慧現在可以驗證整個程式，而不僅僅是選擇性的組件，這是以太坊計劃在未來幾年採取的策略。

他說：「區塊鏈，尤其是具有可擴展性和隱私功能的區塊鏈，如果沒有這樣做，就沒有未來。」「我們需要讓軟體真正安全。而且我們已經取得了很大的進展。」