Vitalik：AI 将推动全栈形式化验证，网络安全长期更有利于防御方

9 月 17 日，Vitalik Buterin 表示，AI 黑客技术并不意味着网络安全注定失败。随着 AI 能力提升，复杂程序的安全属性可以被定义为数学命题并得到验证。尽管“安全”的定义需要涵盖协议、服务器、密钥管理、操作系统、编译器、数据库及侧信道攻击等多个层面，但验证安全定义通常比直接排查全部代码更具可行性。

他认为，现代 AI 应用于验证包括网络、数据库和缓存层在内的完整软件栈，从源头提高系统韧性，而非仅依靠抢先发现漏洞。未来数年，以太坊将朝这一方向推进，为区块链扩容与隐私功能提供安全基础。