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

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

他用Claude Code发现十亿美元漏洞

2026-06-10 15:31:59
收藏

安全研究员发现Zcash重大漏洞,市值蒸发数十亿美元

2026年5月29日,就在Anthropic发布Opus 4.8仅一天后,供职于Shielded Labs的安全研究员Taylor Hornby发现了一个漏洞,该漏洞导致项目市值蒸发了数十亿美元。该缺陷影响了协议设计中用于支持Zcash隐私交易的屏蔽池,其严重程度足以触发整个生态系统的紧急响应。漏洞引发了一波突然抛售,导致ZEC价格暴跌约60%,市值蒸发超过40亿美元。

漏洞概述:一个缺失的约束条件

简而言之,问题出在Zcash的Orchard电路中缺少一个约束条件,这可能会允许恶意证明者多次花费同一张屏蔽票据,同时生成不同的空值器。在实践中,这意味着攻击者可以在Orchard池内凭空增发ZEC,且不会在链上留下任何痕迹。令人担忧的是,这个漏洞自2022年5月Orchard上线以来就一直存在,暴露窗口长达约四年,最终在Hornby发现后不久才被修复。

AI助力发现关键漏洞

这个故事不仅关乎漏洞本身,更关乎其发现方式。Hornby表示,他使用了一个定制的“zcash-full-stack-auditor”代理框架,该框架基于Claude Opus 4.8,以最大努力模式运行,并针对halo2实现(包括Orchard电路)进行了定向审计。AI正在搜寻健全性和零知识安全性方面的问题。据该研究员报告,5月29日下午6点左右,其中一个审计代理标记出了一个漏洞,认为该漏洞可用于双花Orchard票据。随后,Hornby借助Claude编写了针对类似电路的概念验证代码,并在真实的Orchard电路上对问题进行了测试。

利用Claude进行漏洞测试

随后,Hornby在Zcash的本地regtest模式下构建了一个完整的测试:该测试不断倍增Orchard票据的价值,直到测试钱包余额超过1000万ZEC。当然,这些交易从未广播到主网或测试网,但此次测试意义重大,因为regtest模式应用了完全相同的验证规则,这意味着同样的操作在主网上也能达到相同的成功率。根据官方披露,借助Claude Code的帮助,完整的概念验证代码用时约六小时开发完成。Hornby表示,除了少数几个提示外,模型几乎不需要太多指导。

并非AI独立“攻破”Zcash

当然,需要明确的是,这并不意味着AI独立“攻破了Zcash”。Taylor Hornby是知名的专业安全研究员,此次审计具有明确目标,工具也是定制的。尽管如此,这个案例表明,一些前沿AI模型已经开始显著减少调查高度复杂技术系统所需的时间。

免责声明:

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

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