币界网消息，Vitalik在X平台表示，AI可将程序安全验证为数学定理，安全定义需覆盖密钥、服务器、设备、操作系统、数据库、网络及缓存层风险，对于安全关键组件应验证整个程序。以太坊未来数年将沿此方向推进，区块链尤其是兼具扩展性和隐私性的区块链需要实现软件安全。