Vitalik：AI可验证整个程序，以太坊未来数年将推进软件安全

Vitalik 在 X 平台发文表示，其约 90%的净资产持有加密货币，并认为在相关能力逐步成熟后，网络安全将更偏向防御方。

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