• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

以太坊创始人维塔利克·布特林称:AI不会危及加密货币安全

2026-09-18 03:18:45
收藏

以太坊联合创始人Vitalik Buterin:AI不会终结网络安全,反而能强化加密软件

以太坊联合创始人Vitalik Buterin表示,人工智能(AI)并不意味着网络安全的终结。相反,他认为先进的AI模型有助于使加密货币软件更难被攻破。

在周三发布于X平台的一篇文章中,Buterin指出,AI不会给黑客带来不可逾越的优势。他强调,包括他本人在内的加密货币持有者正押注于安全防御能力能够与威胁保持同步。Buterin的净资产中约有90%配置在加密货币资产上。

“一种日益普遍的观点认为,AI驱动的黑客攻击意味着网络安全已无药可救,”Buterin写道,“我不同意这一观点。我认为,一旦人们理清思路并协同合作,网络安全本质上将是防御方占优的。”

AI助力形式化验证成为现实

Buterin认为,AI可以使形式化验证——即利用数学证明来确立软件安全性——变得切实可行,即使面对复杂的系统也不例外。

“如果AI能够证明纳维-斯托克斯方程(Navier-Stokes)和费马大定理(FLT),那么它也能将‘该程序是安全的’作为一个数学定理进行证明,”他写道,“即便该程序非常复杂。”

换句话说,Buterin相信,那些足以解决著名难题的先进AI,同样能够证明即使是复杂的软件也能满足明确界定的安全要求。但他同时指出,这并不意味着安全工作轻而易举。真正的难点在于首先如何定义什么是“安全”。

区块链开发者积极部署防御性AI

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

在几起引发人们担忧AI赋予攻击者优势的事件后,整个加密领域的开发者开始部署防御性AI措施。

今年5月,安全研究员Taylor Hornby使用Anthropic的Claude Opus 4.8发现了Zcash Orchard隐私池中一个存在四年的缺陷。该缺陷原本可能导致无限且无法检测的ZEC伪造行为,尽管开发人员在6月修补漏洞前未发现任何被利用的证据。

攻防竞赛在今年7月加速。当时,以太坊基金会的研究人员表示,AI代理发现了关键网络基础设施中的漏洞。同月,攻击者利用Coldcard钱包固件中长期存在的缺陷(削弱了种子生成过程)发起攻击,最终窃取了约1.3亿美元的比特币。Coldcard制造商Coinkite表示,AI可能帮助识别了这一Bug。

到了8月,威胁已蔓延至整个比特币软件生态系统。Boltz暂停了其兑换服务,称可疑攻击者发现漏洞的速度快于开发人员修复的速度;Core Lightning也确认,AI生成报告中指出的几个漏洞属实。作为回应,志愿者组成的比特币红队利用AI辅助审计,在390个项目中标记出4,962个潜在漏洞。

迈向全面程序验证的未来

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

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

免责声明:

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证,网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责,与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%