维塔利克·布特林对 AI 黑客和网络安全的未来有不同看法

Vitalik Buterin 不认为，人们日益担忧 AI 驱动的黑客攻击会让网络安全变得越来越难，这种担忧是有根据的。在最近的一篇帖子中，这位以太坊联合创始人表示，他不同意“AI 黑客攻击意味着‘网络安全注定要完蛋’”这一观点。

他表示，只要人们构建出合适的系统并使用更强大的验证工具，安全机制自然就能占据优势。

AI 黑客与网络安全的未来

Buterin 以先进人工智能和数学为例，作了简单说明。他说：

“如果 AI 能证明纳维–斯托克斯方程和费马大定理，那么 AI 就能将‘这个程序是安全的’这一陈述证明为一个数学定理，即使这个程序非常复杂也不例外。”

不过，Buterin 强调，明确“安全”究竟意味着什么，远比听起来困难。一个系统可能存在许多不同的安全问题，需要加以考虑。安全定义可能变得极其详尽，涵盖攻击者可能如何干扰系统、信息可能如何泄露，以及软件或硬件的不同部分发生故障或遭到入侵时可能出现的情况。

因此，Buterin 表示，让这些定义更易于人理解至关重要。他认为，这或许是当下唯一重要的“高级语言”。但 Buterin 仍然相信，对于安全关键组件而言，其定义所涉及的攻击面可以远小于实际实现本身的攻击面。

验证定义是否充分，也可能比直接扫描代码更容易管理。他说，更好的工具可以让这一过程变得更加切实可行。

他甚至认为，使用定义有一个优势：它们可以叠加。如果两个团队有两种不同的定义，开发者可以证明一个程序同时满足两者。如果这两种定义无法同时满足，冲突就会被单独识别出来，成为项目需要处理的重要问题。

验证整个程序

以太坊联合创始人表示，代码并非如此。如果一个程序由不同部分组成，其中任何一个部分出现漏洞，都可能危及整个程序。不过，Buterin 承认，这种方法并不适用于所有类型的软件。在某些情况下，例如用户界面组件，其定义可能几乎和实现本身一样庞大。

但他说，对于许多关键组件而言，两者之间确实存在差异。他特别提到了消息传递协议、沙箱，以及 SNARK 和全同态加密等密码系统。过去，开发者往往只验证他们认为与安全密切相关的代码部分，其余部分则不做检查。虽然在验证既困难又稀缺时，这种做法可以理解，但他认为，现代 AI 改变了这一局面。

因此，对布特林来说，答案不只是寄希望于“好人”能在“坏人”之前发现漏洞。更重要的策略是从一开始就让代码具有更强的韧性。他认为，如果没有这类工作，区块链——尤其是那些专注于可扩展性和隐私的区块链——就没有未来。

来源：CryptoPotato