Vetalik 於 5 月 19 日概述以 AI 增強的形式化驗證，作為以太坊安全角色的關鍵

根據 BlockBeats， 以太坊聯合創辦人 維塔利克·布特林（Vitalik Buterin）在 5 月 19 日表示，結合 AI 的形式化驗證將成為「軟體開發的終極形態」，並且是抵禦先進 AI 威脅的關鍵防線。維塔利克解釋稱，形式化驗證會把程式碼正確性轉化為可透過數學方式驗證的定理，藉由數學證明來確保軟體安全，而非依賴傳統測試或稽核。

維塔利克強調，這種做法特別適用於以太坊下一階段的升級，包括抗量子簽章、STARK 證明系統、拜占庭容錯共識以及 ZK-EVM。他表示，在 AI 安全挑戰日益加劇的情況下，以太坊將成為「安全核心」架構中的必要組件；其中關鍵系統會透過形式化方法來強化，而週邊元件則在具備最小權限的沙盒中運作。