ChainCatcher 消息，以太坊创始人 Vitalik Buterin 发文称，不同意“AI 黑客意味着网络安全注定失败”的常见观点。他认为，一旦人们理清思路，网络安全天然偏向防御方，任何继续持有加密货币的人（包括他本人约 90% 净资产）都在隐含押注这一点。

Vitalik 表示：若 AI 能证明纳维-斯托克斯方程和费马大定理，就能将“该程序是安全的”作为数学定理加以证明，即使程序非常复杂。他以加密通讯应用 Signal 为例说明“安全”定义极为复杂，涵盖伪造消息、主动干扰、服务器被攻破、密钥泄露、硬件侧信道等。定义比实现攻击面更小且可叠加，验证定义是否充分比直接扫描代码更可行。

他指出，历史上失败常因只验证自认的安全关键部分而忽略其余代码。如今须验证整个程序，包括数据库、网络和缓存层，现代 AI 可以做到。这并非比拼谁先发现漏洞，而是让代码本身更有韧性。Vitalik 称，这是以太坊未来几年的方向，没有这一步，尤其是具备可扩展性和隐私的区块链没有未来，需要让软件真正安全，且已取得大量进展。