Consensys披露gnark漏洞:可伪造以太坊(ETH)证明,严重程度评分7.5

Consensys披露gnark证明绕过缺陷

以太坊(ETH)基础设施开发商Consensys维护的开源零知识证明工具包gnark存在一个高危漏洞。在某些部署环境下,攻击者可以让一条伪造的计算结果冒充合法证明通过校验。Consensys于11月9日在GitHub上发布安全公告披露了这一问题,严重程度评为10分制的7.5分,属于高危级别。公告指出,核心问题在于gnark未能正确校验某些密码学运算的结果。这里的校验,指的是在不接触底层数据的前提下,确认一项运算确实按照声称的方式执行。公告点名了两条椭圆曲线:BLS12-381和BW6-761。攻击者只要操纵输入计算的数值,就能让校验器接受一个与真实结果不同的输出。换句话说,一个错误的答案可以包装成经过验证的答案。第二个缺陷涉及输入验证:gnark没有检查参与计算的数值是否满足密码学运算所定义的条件,导致与正确计算不符的结果同样能通过校验。安全研究人员已通过实验证实这两个问题,实际构造出了本应被校验拒绝的伪造零知识证明。这类证明支撑着全行业的隐私支付和ZK扩容系统,因此共享库中的校验器缺陷,影响范围远超任何一个项目的代码库。Consensys警告,视工具包的运行位置而定,该漏洞可能被用于伪造签名验证、区块链计算结果或递归证明验证。递归证明是一种把多个证明串成一次检查的技术。该公司表示,问题是通过私密渠道报告的,目前尚未发现被利用的证据。公告未对以太坊价格做任何评估,且这一缺陷位于证明软件层面,并不触及链上的权益证明共识层。

gnark 0.16.5已发布修复

这次披露的意义不止于库本身。Consensys在自己的以太坊Layer 2网络Linea中部署了gnark,而Layer 2的做法是在主链之外执行交易,再把压缩后的结果证明回传至以太坊,这正是伪造证明一旦被接受就会造成实际破坏的环节。在列出的攻击目标中,递归验证会把大量证明压缩成一条,因此单个伪造步骤可以沿着整条验证链传播。公告指出,核心缺陷影响gnark 0.16.0至0.16.4版本。BLS12-381正是用于以太坊验证者签名的配对友好曲线,缺陷由此直通链上的密码学栈;BW6-761则是为在递归证明场景中与前者配对而设计的。开发团队在审计相关代码时还发现了早于本次披露的其他校验问题,并在同一个版本中一并修复。该版本gnark 0.16.5已经发布。Consensys在修复指引中对两个缺陷做了明确区分:第一个缺陷除了升级之外没有其他补救办法,第二个缺陷可以通过在受影响流程中追加特定校验步骤临时缓解。公告随修复一同给出了针对无法立即升级团队的实用操作说明,补丁以依赖更新的形式发布,需要下游项目自行拉取。因此,运行该库的团队面临的紧迫程度,取决于各自调用的代码路径。公司还强调,漏洞在公告公开前经由私密渠道披露,迄今没有发现现实中被滥用的迹象。至于Linea的生产证明栈是否运行过受影响版本,公司并未说明,自身网络的实际暴露程度仍是未知数。公告将伪造风险界定为取决于应用环境的条件性风险,而非针对任何具体网络的已证实问题。

gnark不在共识层之内

对以太坊本身而言,实际暴露面比7.5分的评分直观上要窄。gnark是证明基础设施,不是共识代码:区块生产、验证者集合和智能合约执行都运行在公告未触及的实现之上。风险集中在嵌入了gnark的系统,Linea首当其冲,以及任何依赖递归验证证明的应用。由于尚未观测到攻击,这仍是一份技术披露,而非波及全市场的加密货币FUD。真正的窗口期,是从11月9日发布公告到各依赖项目完成升级之间的这段时间。Consensys没有确认的问题是:Linea的生产证明器是否运行过受影响版本。更广泛的以太坊基础设施此前已多次通过GitHub和链上渠道收到安全警告,从SlowMist关于Swarm供应链攻击的警报,到针对以太坊创世钱包的粉尘攻击骗局,这一系列事件说明,依赖项审计应成为常态化的防线。