Vitalik Buterin 表示，artificial intelligence could reshape how crypto systems are attacked 的進展，將重塑加密系統被攻擊與防禦的方式，把基礎設施推向以數學方式驗證的軟件。
Buterin 文章勾勒 AI 威脅
這位以太坊聯合創辦人 argued，increasingly powerful AI models 會讓在複雜軟件中發現及利用漏洞變得容易得多。
Buterin 指出，一旦 AI 工具開始自動化尋找漏洞，加密基礎設施中的錯誤將更令人憂心，這點亦在整個安全研究社群中引起共鳴。
他特別點名 Ethereum (ETH) 的基礎設施、共識機制及後量子密碼學，是亟需加強防禦的優先目標。
Buterin 認為，與其依賴傳統審計，said 開發者應採用「形式化驗證」，藉由數學方法證明程式碼在既定條件下會依設計運作。
Also Read: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
以形式化驗證作為防線
「AI 讓你可以用較低的準確度成本，寫出大量程式碼；而形式化驗證則把準確度還給你。」Buterin 寫道。
他反駁部分研究人員的論點——認為 AI 生成軟件已變得無法完全信任——並提出較樂觀的看法。
Buterin 認為，AI 協助寫碼再配合驗證工具，最終能產出比單靠人類更堅固的軟件。
他亦提到多個現行計劃，例如 Arklib 和 evm-asm，專注於保護密碼學基礎設施與以太坊虛擬機軟件。
不過，這篇文章亦 warned，形式化驗證並非萬靈丹。即使是經過數學證明的系統，若開發者驗證了錯誤假設，或攻擊途徑落在驗證範圍之外，仍然可能失效。
Buterin 的安全布局紀錄
Buterin 描繪了一個未來：關鍵數碼基礎設施會集中在規模更小的「安全核心」系統中，這些系統被隔離並經過高度驗證，而重要性較低的應用則在受限權限下運行。
今年以來，這位以太坊聯合創辦人多次重提 AI 安全主題。二月時，他建議將 AI 帶來的生產力提升在「速度」與「安全」之間拆分；到了五月，他又公開支持 Lean 等形式化驗證工具，用於高保證開發。他最新的文章進一步延伸這些論點，提出更廣泛的主張：面對 AI 驅動的攻擊工具，無論在區塊鏈還是傳統互聯網系統中，「數學證明」都是最具可信度的答案。
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul