以太坊創辦人之一 Vitalik Buterin 反駁了「能力日益強大的人工智慧將使網路安全難以為繼」的觀點。他主張，更強大的數學驗證可以使關鍵軟體更難被利用，並最終讓防禦方取得優勢。這個問題在加密貨幣領域尤為重要，因為軟體缺陷可能直接使使用者資金面臨風險，而 Buterin 回應這個問題的方式不僅僅是提出論點。

“It’s an increasingly common take that AI hacking means cybersecurity is doomed. I disagree. I think cybersecurity is naturally defense-favoring once people get their shit together. And anyone who continues to hold cryptocurrency (including me, ~90% of my net worth) is implicitly…” — vitalik.eth (@VitalikButerin), September 16, 2026

https://x.com/VitalikButerin/status/2100337594722890145?ref_src=twsrc%5Etfw

Buterin 的加密貨幣持倉反映一場安全押注

Buterin 將他持續持有加密貨幣描述為對數位系統安全的押注。他表示，其個人淨資產約有 90% 以加密貨幣形式持有，這意味著他的持倉同時也是一場針對企圖破壞這些系統者的個人賭注。在已部署程式碼的缺陷可能直接轉化為使用者損失的領域中，這種表述將他自身的資產負債表與他所主張的安全論點綁在一起。

他表示，他並非單純依賴防禦方比攻擊者更早發現漏洞。相反地，他指出了一個漸進的轉變，即證明軟體符合明確定義的安全規則。這種方法與區塊鏈系統尤其相關，因為程式碼通常公開運行，一個軟體缺陷可能影響錢包、智慧型合約、跨鏈橋、驗證者或整個網路。

Buterin 引用了高階數學定理證明，認為這是 AI 未來可能做出貢獻的領域。在他看來，能夠處理極高難度數學問題的 AI 工具，也可以協助求解軟體系統的形式化安全規格。

形式化驗證與加密貨幣安全

形式化驗證與傳統程式碼測試的不同之處在於，它旨在證明既定性質成立，而不只是在選定條件下搜尋故障。傳統安全測試可能包括審計、模擬以及透過攻擊搜尋來找出錯誤。形式化驗證則是先陳述系統必須保證的精確需求，再進行數學檢驗以確定系統是否滿足該需求。

在實務上，建構此類證明所需的投入意味著這項技術主要應用於被判定為關鍵的少數元件，大多數軟體僅由傳統測試覆蓋。Buterin 指出，定義安全需求本身就是一件困難的事。一個協定可能能防止未經授權的存取，但仍可能遭受偽造、重放攻擊、阻斷服務攻擊或涉及相依元件的故障。因此，證明單一性質並不一定代表整個系統是安全的。

以太坊需要更廣泛的系統驗證

僅驗證少數被視為關鍵的元件，對加密貨幣網路而言可能還不夠。支援軟體——包括資料庫、網路層、快取與程式庫——也可能構成攻擊面的一部分。

Buterin 認為，現代 AI 或許能夠更快速地驗證完整程式中更大的一部分。這可以減少對「安全研究人員會在攻擊者發現之前找出所有可利用漏洞」此一假設的依賴。

AI 驅動的攻擊與防禦

在安全評估過程中，AI 系統存取真實世界第三方系統的能力也引發了疑慮。據消息來源指出，Anthropic 已觀察到說明此一發展嚴重性的實例。其結果是自動化攻擊與自動化防禦之間一場不斷加速的競賽。

Buterin 為以太坊提出的應對方案，並非只是部署更多 AI 驅動的漏洞掃描器。他青睞撰寫具備精確安全性质、且能越來越多地由機器證明的軟體。

這種方法可能改變加密貨幣安全的力量平衡。與其讓攻擊者從 AI 輔助方法中取得優勢，更廣泛的機器可查驗驗證可以強化防禦方的地位。Buterin 更廣泛的論點是，AI 輔助的形式化驗證不僅對以太坊重要，對隱私技術與密碼學也很重要。機器輔助證明能否從驗證孤立性質展到涵蓋完整系統，是其「有利於防禦方」論點成敗的關鍵，也是在這場論證開展過程中最值得關注的發展。