以太坊联合创始人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可以验证整个程序,而不仅仅是特定组件,这是以太坊计划在未来几年内推进的方向。
“如果不这样做,区块链——尤其是具备可扩展性和隐私功能的区块链——将没有未来,”他说,“我们需要让软件真正具备安全性。而且我们已经取得了显著进展。”
BTC
ETH
ZEC

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注