Vitalik Buterin 說 AI「形式驗證」可能讓加密貨幣更安全
AI 與形式驗證將提升以太坊安全性
以太坊共同創辦人 Vitalik Buterin 提出，人工智慧（AI）與形式驗證的結合，將大幅改善加密貨幣的開發與安全性。AI 能快速發現程式漏洞，並與形式驗證技術結合，使智慧合約的開發更安全，甚至讓非程式設計者也能建立無錯誤的合約。
強調完美安全不可能，但可透過冗餘與驗證提升整體安全
Buterin 強調，完全的加密安全是不可能的，因為人類意圖與行為會帶來風險。他建議透過多重驗證機制（如模擬、多重簽名與形式驗證）來降低錯誤與意圖誤差，並指出 AI 可協助識別潛在問題，提升整體系統的穩定性。
AI 用於生成數學證明，強化軟體安全驗證
根據未來展望，以太坊將積極運用 AI 來生成數學證明，用以形式化軟體安全驗證，目標是讓以太坊成為更安全的區塊鏈平臺，並在 2028 年前實現零知識驗證（ZKVM）的主導地位。
相關應用與發展
- AI 協助形式驗證，用於發現程式錯誤與自動化驗證流程。
- AI 與加密技術結合，可能實現透明卻具隱私保護的協調機制。
- 在 Web3 範疇內，AI 與形式驗證被視為解決以太坊最大技術風險的關鍵。