Vitalik：AI有望实现程序全代码自动化安全验证

以太坊创始人 Vitalik Buterin 近期就人工智能在网络安全领域的应用发表观点。他指出，现代 AI 技术有望彻底改变代码审计方式，使开发者能够对整个程序进行全面验证，而不再局限于仅检查被认为存在安全风险的关键部分。这一技术趋势或将大幅提升软件与智能合约的安全性。