Vitalik Buterin：AI 輔助形式驗證將大幅提升加密貨幣安全性

形式驗證是以數學方法證明程式是否符合既定規格，可在部署前找出一般測試難以涵蓋的漏洞。對管理高額數位資產的 Ethereum 與智慧合約而言，單一缺陷可能造成不可逆損失，因此 Vitalik Buterin 將 AI 降低驗證成本與門檻，視為強化加密貨幣基礎設施的關鍵方向。

截至 2026 年 7 月 20 日，Ethereum 共同創辦人 Buterin 在最新文章中主張，AI 可協助建立、檢查形式化證明，並更有效識別及修補程式碼漏洞，使形式驗證成為軟體開發的重要工具。他尚未公布投資金額、導入時程或量化成效，但預期此方法可顯著提升加密貨幣系統的防禦能力。