Vitalik：以太坊未来数年将推进软件安全

Vitalik 称 AI 可将程序安全验证为数学定理，以太坊未来数年将沿此方向推进，以实现兼具扩展性与隐私性的区块链软件安全。

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

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