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

Vitalik Buterin 表示，AI 技术的发展并不意味着网络安全将陷入被动。随着 AI 能力的提升，复杂程序的安全属性可转化为数学命题并进行验证，这比单纯排查代码更具可行性。未来以太坊将利用 AI 对网络、数据库及缓存层等完整软件栈进行验证，从源头提升系统韧性，为区块链扩容与隐私功能提供安全基础。