以太坊Vitalik提出AI辅助形式验证可提升智能合约安全性

以太坊联合创始人Vitalik Buterin表示，AI辅助形式验证可能成为确保软件安全的最终形式，这种方法有望提高智能合约的安全性，从而减少DeFi领域漏洞与攻击事件。