吴说获悉，Vitalik Buterin 表示，他不同意“AI 黑客将使网络安全无解”的观点，认为在方法和工具成熟后，网络安全反而可能更有利于防守方，而继续持有加密货币本身就是对这一判断的押注；他透露，自己约 90% 的净资产仍为加密资产。他认为，如果 AI 能够证明复杂数学定理，也可以通过形式化验证证明程序满足既定安全要求。真正困难的是如何完整定义“安全”，因为安全不仅涉及数据是否泄露，还包括消息伪造、重放攻击、服务器或设备被攻破、密钥泄露、供应链、数据库、编译器、侧信道及元数据泄露等问题。https://wublock123.com/news/vitalik-ai-era-cybersecurity-defensive-shift-ethereum-formal-software-verification-68509