Vitalik Buterin：AI形式验证可显著提升加密安全性

以太坊联合创始人Vitalik Buterin表示，借助AI形式化验证技术可显著提升智能合约和加密系统的安全性，为区块链行业应对复杂漏洞提供新路径。