CoinDesk：Vitalik表示AI形式化验证技术有望显著提升智能合约安全性

以太坊联合创始人Vitalik Buterin指出，AI驱动的形式化验证工具未来可用于自动检测智能合约漏洞，降低协议攻击风险，并推动链上基础设施安全标准进一步升级。