Vitalik：AI与形式化验证将革新以太坊安全开发范式

　　博链BroadChain获悉，4月22日 19:16，Vitalik Buterin在与肖风的对话中指出，人工智能在漏洞检测方面的能力正迅速增强。结合形式化验证技术，智能合约开发有望变得更加安全，甚至非编程人员也能创建无漏洞的合约。

　　他强调，以太坊Layer 1将坚持去中心化与安全的核心定位。同时，以太坊正推进抗量子密码学（如哈希与STARK）以及ZK技术的应用，以应对未来AI和量子计算带来的安全威胁。