Vitalik称AI形式化验证可显著提升智能合约安全性

Vitalik Buterin表示，AI驱动的形式化验证技术未来可帮助提升智能合约审计效率与协议安全性，尤其适用于复杂DeFi系统与跨链基础设施的漏洞检测。