Vitalik反驳AI黑客将让网络安全崩溃的观点，强调AI能验证整个程序安全性

Vitalik 发文反驳“AI 黑客会让网络安全彻底崩溃”的观点。他表示，网络安全本质上是防御有利的，只要认真做好工作。自己继续持有加密货币（约净资产 90%），就是在押注这一点。Vitalik 认为，如果 AI 能证明纳维-斯托克斯方程和费马大定理，那么它也能把“这个程序是安全的”作为数学定理来证明，哪怕程序很复杂。“安全”的定义本身很复杂，包含多种攻击场景（伪造、重放、服务器被攻破、密钥泄露、侧信道等），但定义远比实现代码的攻击面小，也更容易被验证。过去只验证“自认为安全关键”的部分容易失败。现在有了 AI，必须（也能够）对整个程序进行验证，包括数据库、网络、缓存等所有部分。

Vitalik 强调，这不是“好人比坏人先找到漏洞”，而是主动写出更抗攻击的代码。这正是以太坊未来几年的发展方向。如果不采取这种做法，区块链（尤其是那些兼具可扩展性与隐私保护功能的区块链）将没有未来。