Ethereum 创始人 Vitalik Buterin 表示 AI 验证有助于保障 Crypto 网络安全

📄完整原文· 由 trafilatura 自动抓取Gemini 翻譯4904 字

简讯 - Vitalik Buterin 表示，AI 辅助的形式化验证（formal verification）有助于减少 Ethereum 及其他加密基础设施中的漏洞。 - 该技术利用数学证明来验证软件是否按预期运行。 - Buterin 认为 AI 既可能加强网络攻击，也可能增强防御性安全工具。 Ethereum 联合创始人 Vitalik Buterin 表示，数学验证软件对于保护 Ethereum 和更广泛的加密货币行业免受 AI 辅助的网络攻击及软件漏洞侵害正变得至关重要。在周一发布的一篇博客文章中，Buterin 认为 AI 辅助的“形式化验证”有助于保护区块链网络、智能合约和加密系统，防止软件缺陷导致用户遭受不可逆的经济损失。 “如果操作得当，这不仅有潜力输出极其高效的代码，而且比以往的编程方式要安全得多，”Buterin 写道，并指出开发者 Yoichi Hirai 将其称为“软件开发的最终形态”。形式化验证是一种通过数学方法测试软件行为是否正确的方式，该方法可追溯到 20 世纪 50 年代和 60 年代的奠基性工作。据 Buterin 所述，AI 的最新进展正使该技术在软件工程和安全研究中变得更加实用。 “如果你进行端到端的形式化验证，那么你证明的不仅是协议描述在理论上是安全的，而且是用户运行的具体代码在实践中也是安全的，”他写道。“从用户的角度来看，这极大地提高了去信任化（trustlessness）：为了完全信任代码，你不需要检查整个代码，只需检查关于它的已证明陈述即可。” Buterin 发布此文之际，研究人员和政府正发出警告，称先进的 AI 模型在发现和利用软件漏洞方面的能力正在迅速提升。Anthropic 在测试显示其系统能够自主识别并利用远超以往公开 AI 模型的软件缺陷后，限制了对其专注于网络安全的 Claude Mythos 模型的访问。该模型因这些能力引起了情报和安全机构的关注。4 月，Anthropic 的 Claude Mythos 在内部测试中识别出 Mozilla Firefox 中的 271 个漏洞；本月早些时候，安全研究人员表示，该模型的预览版本有助于开发针对 Apple M5 芯片保护机制的漏洞利用程序。英国 AI 安全研究所的研究人员也发现，OpenAI 的 GPT-5.5 展示了先进的进攻性网络能力。 “计算机代码中的漏洞令人恐惧，”Buterin 写道。未被发现的漏洞对加密项目可能是毁灭性的，因为软件缺陷一旦被利用，用户的资金可能会被永久窃取，且几乎没有追回的可能。 4 月，受朝鲜支持的 Lazarus Group 攻击者在“投毒” LayerZero Labs 使用的内部 RPC 后，成功从 Kelp DAO 的基础设施中窃取了价值 2.92 亿美元的代币。据统计，朝鲜支持的黑客迄今已窃取了价值超过 60 亿美元的加密货币。 Buterin 表示，形式化验证还可以通过证明优化后的底层代码与更具可读性的参考实现相匹配，从而提高对 AI 生成软件的信任度。 “其增值的一个重要部分在于证明是真正的端到端，”Buterin 写道。“通常，最棘手的漏洞是存在于两个被分开考虑的子系统边缘的交互漏洞。” 然而，尽管 Buterin 看到了 AI 助力保护加密网络代码的潜力，但他提醒称，形式化验证并不能完全消除安全风险。 “形式化验证并非万能药。但它特别适用于目标比实现方式简单得多的情况，”他写道。“在我们需要在 Ethereum 下一个重大迭代中部署的一些极其困难的技术中，情况尤其如此：抗量子签名、STARKs、共识算法和 ZK-EVMs。” Buterin 反驳了那种认为日益先进的网络攻击最终将使开源软件或去中心化系统无法实现安全的观点。 “那将是网络安全黯淡的未来。对于我们这些关心互联网去中心化和自由的人来说，那更是一个极其黯淡的未来，”他说。“整个 cypherpunk 精神从根本上基于这样一个理念：在互联网上，防御者具有优势。” 相反，Buterin 认为未来的系统很可能依赖于通过形式化验证和受限安全环境来保护的高度安全“核心”基础设施。 “当涉及到安全核心时，我们不会让有漏洞的代码扩散，”他说。“我们积极采取行动，保持安全核心的规模较小，甚至进一步缩小它。”

数据状态✓ 已抓取全文阅读原文（Decrypt）

🔍历史类似事件· 关键词 + 标的比对6 则

2026-05-16

孙宇晨领导的利伯兰微型国家向以太坊创始人Vitalik Buterin授予最高荣誉

相似度 430%標的 ETH關鍵字 ethereum/vitalik/founder

2026-05-10

加密貨幣公司競相為錢包進行「量子防禦」，以領先於 BTC 和 ETH 網絡的升級

相似度 380%標的 ETH關鍵字 ethereum/crypto/networks

2026-05-18

Bitcoin、Ethereum ETF资金流出，加密基金单周失血10.7亿美元，终结连续6周净流入纪录

相似度 370%標的 ETH關鍵字 ethereum/crypto同分類 hot

2026-05-18

Vitalik Buterin 表示，AI 的「形式化驗證」（formal verification）實際上可以讓 crypto 變得更加安全。

相似度 370%關鍵字 secure/vitalik/could同分類 hot

2026-05-15

最新通胀报告：这对 BTC、ETH 和 Solana 的未来意味着什么

相似度 330%標的 ETH關鍵字 ethereum/could

2026-05-15

XRP 价格领跑加密市场，BTC 和 ETH 表现滞后

相似度 330%標的 ETH關鍵字 ethereum/crypto

💡 目前用关键词 + 标的比对（MVP）· 之后会升级为 embedding 语义搜寻

原始信息

ID：3c9dabe102

来源：Decrypt

发布：2026-05-18 16:34:57

分类：hot · 导出分类 hot

标的：ETH

社群投票：+0 / −0 · ⭐ 1 重要 · 💬 0 留言