Vitalik：AI 与形式化验证将重塑以太坊安全与开发

Vitalik Buterin 在与肖风对话中表示，AI 正快速提升漏洞发现能力，叠加形式化验证有望实现更安全的智能合约开发，甚至让非程序员也能构建无漏洞合约。同时，他强调以太坊 L1 将继续聚焦去中心化与安全，并推进抗量子密码学（如哈希与 STARK）与 ZK 技术应用，以应对未来 AI 与量子计算带来的安全挑战。