Vitalik Buterin称AI形式验证或显著提升区块链安全性

以太坊联合创始人Vitalik Buterin发文指出，AI辅助的形式化验证技术可能成为提升区块链安全性的重要工具，这种方法有望减少漏洞风险并提高智能合约与协议的可靠性。