Vitalik：AI 將推動全棧形式化驗證，網路安全長期利於防禦方

以太坊（Ethereum）共同創辦人 Vitalik Buterin 表示，AI 技術的發展並不代表網路安全將面臨失敗。隨著 AI 能力提升，複雜程式的安全屬性可轉化為數學命題進行驗證。他認為，AI 可應用於驗證包含網路、資料庫及快取層在內的完整軟體棧，從源頭提升系統韌性。以太坊未來將朝此方向發展，為區塊鏈擴容與隱私功能奠定安全基礎。