币圈界报道：

AI威胁未动摇网络安全根基：Vitalik提出系统性应对框架

面对公众对“人工智能引发新型黑客攻击将摧毁数字安全”的广泛忧虑，以太坊联合创始人Vitalik Buterin明确表示，此类悲观论调缺乏现实依据。他认为，只要建立科学的系统架构并引入更高效的验证机制，安全能力完全可能超越攻击手段。

以形式化定义重构安全边界

Buterin以数学证明为类比，指出若人工智能能攻克纳维-斯托克斯方程与费马大定理等复杂命题，则同样具备将“程序无漏洞”作为可证伪数学命题的能力，即便其结构极为复杂。

但他同时强调，“安全”本身是一个高度精细化的概念，需涵盖多种潜在风险场景——包括攻击者干预路径、数据泄露节点、软硬件故障模式等。这些细节必须被清晰界定，否则防御将失去方向。

因此，他主张推动安全描述向人类可读语言演进，视之为当前最核心的技术突破点。尽管定义本身可能远小于实际代码体量，但其覆盖范围足以形成有效防护网。

验证安全定义的完备性，较直接扫描源码更具可控性。当多个团队采用不同安全标准时，若某程序能同时满足二者，说明其韧性更强；若冲突存在，则暴露了亟待解决的设计矛盾。

全程序验证并非万能解药

Buterin指出，软件系统的安全性取决于其最薄弱环节。一旦任一模块存在缺陷，整体安全即告瓦解。该逻辑并不适用于所有类型应用，例如用户界面部分，其行为定义往往与实现接近一致。

然而，在消息传递协议、沙箱隔离机制以及SNARKs、全同态加密等密码学核心组件中，安全定义与代码实现之间存在显著差距。过去因验证技术受限，开发者仅聚焦关键区域，如今这一局限已被突破。

在他看来，依赖“好人先发现漏洞”的被动模式已不可持续。真正的出路在于提升系统内在抗脆弱性。若不推进此类工作，尤其在追求高扩展性与隐私保护的区块链体系中，未来将难以为继。