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

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