Vitalik Buterin 驳斥 AI 末日恐惧，捍卫加密货币安全

以太坊联合创始人维塔利克·布特林驳斥“AI将导致网络安全无法防御”的观点

以太坊联合创始人维塔利克·布特林（Vitalik Buterin）对人工智能将使网络安全防御变得不可能的担忧表示不屑。他认为，先进的人工智能最终可能会赋予安全团队相对于黑客的优势。

在社交媒体平台 X 上发表评论时，布特林强调了“形式化验证”（Formal Verification）这一方法，该方法利用数学证明来检查软件是否按预期行为运行。他辩称，如果人工智能能够证明复杂的数学定理，它也有助于验证整个软件系统的安全性。

加密用户对布特林的 AI 安全押注提出质疑

部分加密用户质疑，以太坊是否应在关注未来 AI 威胁之前先解决其现有挑战。有用户敦促布特林先修复以太坊的问题，另一位用户则质疑他是否在 Layer 2 市场的低迷期间持有 ETH。

其他用户则聚焦于 AI 当前的局限性，特别是其倾向于生成错误代码和数学错误的倾向。他们认为，AI 生成的安全证明仍需经过人工审查，这引发了人们对该技术能否提供可靠的全栈保护的疑问。

与此同时，一些用户警告称，相较于针对区块链密码学的攻击，基于 AI 的网络钓鱼和社会工程学可能对普通加密用户构成更直接的威胁。金融稳定理事会（FSB）主席安德鲁·贝利（Andrew Bailey）曾警告称，AI 对网络风险的影响已成为全球金融体系最紧迫的 AI 相关关切。

全栈验证：构建更具韧性的软件生态

布特林认为，成熟的人工智能不仅仅审查系统的关键部分，还可以帮助验证完整的软件堆栈，包括数据库、网络、缓存和供应链。这种方法可以使开发人员构建更具抗攻击能力的软件，而不是完全依赖在部署后寻找漏洞。

布特林的言论挑战了天使投资人 Liron Shapira 的预测，后者曾预言 AI 突破可能会破坏区块链基础设施，导致比特币及其他主要加密货币在两年内价值下跌超过 50%。布特林形容 AI 破解核心密码保护的可能性“微乎其微”，并指出去中心化网络可以通过标准的技术升级来应对新兴威胁。

这位以太坊联合创始人表示，他约 90% 的净资产仍投资于加密货币，并描述其持续持有仓位是对“网络安全最终将有利于防御者”这一观点的隐性押注。

布特林将全栈验证确定为以太坊发展的关键路线图，特别是在区块链推进其扩展性和隐私技术的过程中。该方法旨在验证整个软件系统，而不仅仅是专注于选定的关键组件，从而潜在地加强以太坊基础设施的安全性。

社区接受度与当前安全挑战

然而，加密社区能否采纳布特林关于 AI 的观点仍充满不确定性，尤其是因为这类软件工具已被多次用于实施攻击。此前有报道指出，香港一名七旬男子因被诱导通过虚假加密货币应用和虚假 AI 验证进行投资，损失超过 1300 万港元（约合 167 万美元）。

此外，Meme 币上市和代币展示页面正成为新的网络钓鱼中心，攻击者利用代币元数据将加密交易者重定向至仿冒的 Cloudflare 验证屏幕。