跳到正文
热点事件持续更新

Succinct SP1曝高严重性漏洞,主网或接受无效证明

1 篇报道1 个报道来源最近报道 · 2 小时前
我的关注 →

当前进展与背景

最新公开报道

最近报道 ·

Succinct 旗下 SP1 曝高严重性漏洞,主网可能接受无效证明

ChainCatcher 消息,Succinct 旗下零知识证明系统 SP1 曝出高严重性可靠性漏洞,通过 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露,影响 SP1 原生 Rust 验证器 6.0 至 6.8.0 版本,使主网 Prover Network 可能接受无效证明。漏洞原因是验证器仅读取数据标签(声明维度),未校验实际存储元素数量是否等于维度乘积,攻击者可伪造标签使无效证明通过;采用固定形状 wrap 证明的 Groth16 与 Plonk 检查不受影响,链上 Solidity 检查器亦安全。Succinct 于 9 月 24 日发布修复版本 6.8.1 并已部署至主网,新增反序列化长度校验。漏洞由 Vitalis Salis 发现并经 Immunefi 漏洞赏金计划上报,自行运行原生 Rust 验证器且接受不可信证明者的用户需升级至 6.8.1。

ChainCatcher 链捕手 · 中文资讯 · 查看报道与出处 →

报道时间不等于事件生效时间;具体状态与适用对象请对照来源。

背景综述 · AI 整理

以下帮助了解背景;涉及安排、版本或状态时,以较新的具体报道为线索核对。

Succinct 旗下零知识证明系统 SP1 曝出高严重性可靠性漏洞,经 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露,影响 SP1 原生 Rust 验证器 6.0 至 6.8.0 版本,可能导致主网 Prover Network 接受无效证明。漏洞原因是验证器仅读取数据标签,未校验实际存储元素数量是否等于维度乘积。Succinct 已于 9 月 24 日发布修复版本 6.8.1 并部署至主网,新增反序列化长度校验;自行运行原生 Rust 验证器且接受不可信证明的用户需升级至 6.8.1。

综述整理于

报道时间线

沿着报道,了解事件的不同侧面。

10月24日
  1. ChainCatcher 链捕手 · 中文资讯
    Succinct 旗下 SP1 曝高严重性漏洞,主网可能接受无效证明

    ChainCatcher 消息,Succinct 旗下零知识证明系统 SP1 曝出高严重性可靠性漏洞,通过 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露,影响 SP1 原生 Rust 验证器 6.0 至 6.8.0 版本,使主网 Prover Network 可能接受无效证明。漏洞原因是验证器仅读取数据标签(声明维度),未校验实际存储元素数量是否等于维度乘积,攻击者可伪造标签使无效证明通过;采用固定形状 wrap 证明的 Groth16 与 Plonk 检查不受影响,链上 Solidity 检查器亦安全。Succinct 于 9 月 24 日发布修复版本 6.8.1 并已部署至主网,新增反序列化长度校验。漏洞由 Vitalis Salis 发现并经 Immunefi 漏洞赏金计划上报,自行运行原生 Rust 验证器且接受不可信证明者的用户需升级至 6.8.1。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。