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

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

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

2026-09-18 00:46:27

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

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

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

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

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

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

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

全程序验证的局限性

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

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

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

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文