Vitalik Buterin对AI黑客与网络安全未来的独特见解

以太坊联合创始人Vitalik Buterin：AI黑客并未让网络安全走向末路

Vitalik Buterin并不认为，随着人们对“AI驱动的黑客攻击将使网络安全日益艰难”的担忧加剧，这种担心是合理的。在最近的一篇帖子中，这位以太坊联合创始人表示，他不同意“AI黑客意味着网络安全已无药可救”的观点。相反，他认为，一旦人们构建了合适的系统并使用了更强大的验证工具，安全防御自然会占据优势。

关于AI黑客与网络安全的未来

Buterin举了一个涉及先进人工智能与数学的简单例子。他表示：“如果AI能够证明纳维-斯托克斯方程（Navier-Stokes）和费马大定理（FLT），那么AI同样可以将‘该程序是安全的’这一陈述作为数学定理进行证明，即使该程序非常复杂。”

然而，Buterin强调，定义什么是真正的“安全”远比听起来要困难得多。一个系统可能存在许多不同的安全隐患，需要逐一考量。安全定义的细节程度可能极高，涵盖攻击者如何干扰系统、信息可能泄露的途径，以及软件或硬件的不同部分发生故障或被攻破时可能发生的情况。

因此，Buterin指出，使这些定义更具人类可读性至关重要。他将此描述为目前唯一重要的“高级语言”。但他仍然相信，对于关键的安全组件，其定义所覆盖的攻击面可以远小于实现代码本身。

验证定义是否充分，比直接扫描代码更为可控。他表示，更好的工具可以使这一过程更加实用。他甚至认为，基于定义的方法具有叠加优势。如果两个团队拥有两种不同的安全定义，开发者可以证明某个程序同时满足这两者。如果这两个定义无法同时被满足，冲突将被隔离，并成为项目需要解决的重要问题。

全程序验证的局限性

根据这位以太坊联合创始人的说法，代码并非如此运作。如果一个程序由不同部分组成，其中任何一部分存在漏洞都可能导致整体安全受损。Buterin承认，这种方法并非适用于所有类型的软件。在某些情况下，例如用户界面组件，其定义的大小可能与实现代码几乎相当。

但对于许多关键组件而言，这种差异是真实存在的。他特别提到了消息传递协议、沙箱机制以及诸如SNARKs（简洁非交互式知识论证）和全同态加密等密码学系统。过去，开发者往往只验证他们认为对安全至关重要的代码部分，其余部分则未被检查。虽然在验证手段稀缺且困难的时期，这种做法可以理解，但Buterin认为现代AI改变了这一局面。

因此，对Buterin而言，答案不仅仅是寄希望于“好人”在“坏人”之前发现漏洞。更重要的策略是从根本上提高代码的韧性。在他看来，如果没有这类工作，区块链——尤其是那些专注于可扩展性和隐私性的区块链——将没有未来。