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

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