以太坊联合创始人维塔利克·布特林表示，人工智能并不意味着网络安全的终结，他认为先进的模型可以帮助使加密软件更难以攻破。

在周三的一条动态中，布特林指出，人工智能不会给黑客带来不可逾越的优势，并补充道，包括他自己在内，约90%的净资产都在加密货币中的加密持有者们正在押注安全防御可以跟上步伐。

“越来越多的人认为，人工智能黑客意味着网络安全注定完蛋，”布特林写道。“我不同意。我认为一旦人们理清思路，网络安全自然是以防御为主的。”

布特林辩称，人工智能可以让形式验证——使用数学证明来确定软件的安全性——在复杂系统中也变得可行。

“如果人工智能能够证明纳维-斯托克斯方程和费马大定理，那么人工智能也可以证明‘这个程序是安全的’这个陈述作为一个数学定理，”他写道。“即使这个程序是非常复杂的。”

换句话说，布特林相信，足够先进的人工智能能够解决著名的数学难题，也能够证明即使是复杂的软件也符合明确的安全要求。

然而，这并不意味着安全很容易，他说。困难在于首先定义“安全”是什么意思。

区块链开发者们越来越多地使用人工智能代理来扫描代码，测试漏洞，并在攻击者行动之前验证错误，研究人员发现了以太坊基础设施和比特币软件中的漏洞。

在几起事件之后，加密领域的开发者们开始出于防御目的部署人工智能，担心人工智能会给攻击者带来优势。

去年五月，安全研究员泰勒·霍恩比使用安索普公司的Claude Opus 4.8发现了Zcash的Orchard隐私池中的一个已有四年的漏洞，这一漏洞本可以使无限且不可检测的ZEC伪造成为可能，尽管开发者在6月修复之前没有发现该漏洞被利用的证据。

在七月，攻击者与防御者之间的竞赛加速，当时以太坊基金会的研究人员表示人工智能代理发现了关键网络基础设施中的漏洞。同一个月，攻击者通过一个多年未修复的固件漏洞开始攻击Coldcard钱包，该漏洞削弱了种子生成，最终窃取了大约1.3亿美元的比特币。Coldcard制造商Coinkite表示，人工智能可能帮助识别了该漏洞。

到八月，威胁已扩散到比特币软件生态系统中。Boltz暂停了其交换服务，称怀疑攻击者找到漏洞的速度比开发者修复它们的速度快，同时核心闪电网络确认在人工智能生成的报告中识别出的几个漏洞都是确实存在的。作为回应，自愿参与的比特币红队利用人工智能辅助审计标识出390个项目中的4,962个潜在漏洞。

布特林表示，人工智能现在可以验证整个程序，而不是选择组件，以后以太坊计划在接下来的几年中采取这种方法。

他说：“没有可扩展性和隐私的区块链的未来，没有做到这一点。” “我们需要让软件真正安全。而且我们已经取得了很多进展。”

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。