Vitalik：AI 將推動全棧形式化驗証，網絡安全長期更有利於防禦方

據深潮 TechFlow發布，深潮 TechFlow 消息，9 月 17 日，Vitalik Buterin 表示，AI 黑客技術並不意味着網絡安全注定失敗。隨着 AI 能力提昇，復雜程序的安全屬性可以被定義為數學命題並得到驗証。儘管“安全”的定義需要涵蓋協議、服務器、密鈅管理、操作系統、編譯器、數據庫及側信道攻擊等多個層面，但驗証安全定義通常比直接排査全部代碼更具可行性。 他認為，現代 AI 應用於驗証包括網絡、數據庫和緩存層在內的完整軟件棧，從源頭提高系統韌性，而非僅依靠搶先發現漏洞。未來數年，以太坊將朝這一方向推進，為區塊鏈擴容與隱俬功能提供安全基礎。