原文：Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks
将 Decrypt 添加为您的首选来源，以便在 Google 上查看我们的更多故事。
简而言之，Vitalik Buterin 表示，人工智能辅助的形式验证可以帮助减少以太坊和其他加密基础设施中的漏洞。
该技术使用数学证明来验证软件是否按预期运行。
Buterin 认为人工智能可能会增强网络攻击和防御性安全工具。
以太坊联合创始人 Vitalik Buterin 表示，经过数学验证的软件对于保护以太坊和更广泛的加密货币行业免受人工智能辅助的网络攻击和软件漏洞的影响变得至关重要。
在周一发表的一篇博客文章中，Buterin 认为人工智能辅助的“形式验证”可以帮助保护区块链网络、智能合约和加密系统免受软件缺陷的影响，这些缺陷可能会让用户面临不可逆转的财务损失。
Buterin 写道：“如果做得好，这有可能输出极其高效的代码，而且比以前的编程方式安全得多。”他指出，开发人员平井洋一 (Yoichi Hirai) 将其称为“软件开发的最终形式”。
形式验证是一种从数学上测试软件行为是否正确的方法，该方法可以追溯到 20 世纪 50 年代和 1960 年代的基础工作。 Buterin 表示，人工智能的最新进展使该技术在软件工程和安全研究中更加实用。
<span data-mce-type="bookmark" style="display:inline-block;width:0px;overflow:hidden;line-height:0" class="mce_SELRES_start"></span>
他写道：“如果你正式进行端到端验证，那么你不仅证明了协议的某些描述在理论上是安全的，而且证明了用户运行的特定代码片段在实践中也是安全的。” “从用户的角度来看，这极大地提高了去信任性：为了完全信任代码，您不需要检查整个代码，您只需检查已证明的声明即可。”
Buterin 的帖子 c