Vitalik称AI形式化验证可显著提升加密协议安全性，AI+Crypto再获关注

CoinDesk技术栏目显示，Vitalik Buterin认为AI辅助形式化验证有望成为加密安全的重要工具，用于发现协议漏洞与验证智能合约逻辑，AI赋能区块链基础设施的叙事继续强化。