核心信息

  • Vitalik 持仓：约 90% 净资产为加密货币

  • 核心判断：AI 可将“程序安全”验证为数学定理；安全关键组件应验证整个程序

  • 覆盖范围：密钥、服务器、设备、操作系统、数据库、网络及缓存层

  • 推进方向：以太坊未来数年沿此方向推进软件安全


关键表态

Vitalik 在 X 平台发文称，随着相关能力成熟，网络安全将更偏向防御方。他强调，区块链尤其是兼具扩展性和隐私性的区块链，需要实现软件安全。

安全定义需覆盖密钥、服务器、设备、操作系统、数据库、网络及缓存层等风险因素，而非仅验证局部代码。