Vitalik：AI 时代网络安全可能更偏向防守，以太坊将推进全面软件验证

吴说获悉，Vitalik Buterin 表示，他不同意“AI 黑客将使网络安全无解”的观点，认为在方法和工具成熟后，网络安全反而可能更有利于防守方，而继续持有加密货币本身就是对这一判断的押注；他透露，自己约 90% 的净资产仍为加密资产。他认为，如果 AI 能够证明复杂数学定理，也可以通过形式化验证证明程序满足既定安全要求。真正困难的是如何完整定义“安全”，因为安全不仅涉及数据是否泄露，还包括消息伪造、重放攻击、服务器或设备被攻破、密钥泄露、供应链、数据库、编译器、侧信道及元数据泄露等问题。 Vitalik 指出，相比直接检查复杂代码，安全定义的攻击面更小，不同安全要求也可以叠加验证。过去形式化验证往往只覆盖开发者认定的关键部分，但其他组件同样可能引入漏洞；随着 AI 降低验证成本，数据库、网络、缓存等整个程序都应纳入验证。未来防御的重点不应只是比攻击者更早发现漏洞，而是通过全面验证提高软件本身的安全性。Ethereum 未来数年也将沿这一方向推进，尤其是扩容和隐私技术的发展需要更高的软件安全保障。