简要概览：
- Vitalik Buterin 驳斥了AI驱动的黑客攻击意味着网络安全已走向末路的观点。
- 他认为AI可使形式化验证在复杂软件系统中变得切实可行。
- 这些言论延续了以太坊在AI辅助安全、隐私、STARKs（可扩展论证技术）及抗量子计算方面的推进方向。

以太坊联合创始人Vitalik Buterin表示，AI并不意味着网络安全的终结；相反，他论证说，高级模型可以帮助使加密货币软件更难被攻破。

周三在X平台发布的一篇博文中，Buterin指出，AI不会给黑客带来不可逾越的优势，并补充道，加密货币持有者——包括他自己，其净资产中约90%投入加密货币——都在押注安全防御措施能够跟上攻击步伐。

Buterin写道：“一种越来越普遍的看法是，AI黑客意味着网络安全已走向末日。我不同意。我认为，一旦人们整顿好自身工作，网络安全天然倾向于防御方。”

Buterin辩称，AI可以使形式化验证——即使用数学证明来确立软件安全性的方法——即便在复杂系统中也变得切实可行。

他写道：“如果AI能证明纳维-斯托克斯方程和费尔马大定理，那么AI就能把‘该程序是安全的’作为一个数学定理来证明。即使这个程序非常复杂。”

换言之，Buterin认为，足够复杂的AI在能够解决那些著名的难题之后，也能够证明即使复杂的软件也能满足清晰定义的安全要求。

然而，他表示这并不意味着安全就轻易实现了，困难的部分首先在于界定什么是“安全”。

区块链开发者正越来越多地使用AI代理来扫描代码、测试漏洞利用方式，并在攻击者行动之前验证漏洞，研究人员已在以太坊基础设施和比特币软件中发现了漏洞。

在几起引发人们担忧AI赋予攻击者优势的事件之后，加密领域的开发者已开始防御性地部署AI。

今年5月，安全研究员Taylor Hornby使用Anthropic的Claude Opus 4.8发现了Zcash的Or隐私池中存在的一个四年历史漏洞，该漏洞可能允许无限且不可检测地伪造ZEC代币。不过开发人员在6月进行补丁修复时，未发现其曾被利用的证据。

7月份，攻防双方的竞赛进一步加速。当时以太坊基金会研究人员表示，AI代理发现了关键网络基础设施中的漏洞。同月，攻击者开始通过一个多年存在的固件漏洞窃取Coldcard钱包中的资金，该漏洞削弱了种子生成机制，最终导致约1.3亿美元的比特币被盗。Coldcard制造商Coinkite称，AI可能有助于识别该漏洞。

到了8月，威胁蔓延至整个比特币软件生态系统。Boltz暂停了其互换服务，称疑似攻击者发现漏洞的速度快于开发者的修复速度；而Core Lightning确认，AI生成报告中提出的几项漏洞是真实存在的。作为回应，志愿者组成的比特币红色小组利用AI辅助审计，在390个项目中标记出4,962个潜在漏洞。

Buterin表示，AI现在可以验证整个程序，而不仅是部分组件，这是以太坊计划在未来几年内推进的方法。

他说：“如果没有这样的做法，区块链——尤其是具备扩展性和隐私功能的区块链——将没有未来。我们需要让软件真正安全。而且我们已经取得了很大的进展。”

来源：https://decrypt.co/378544/ethereum-vitalik-buterin-ai-crypto-security