事件概述

Succinct 旗下零知识证明系统 SP1 曝出高严重性可靠性漏洞，10 月 11 日通过 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露。

漏洞影响

  • 影响 SP1 原生 Rust 验证器 6.0.0 至 6.8.0 版本

  • 主网 Prover Network 可能接受无效证明：恶意证明者可提交无效执行证明，验证器仍会通过

  • 根因：验证器仅读取数据标签（声明维度），未校验实际存储元素数量是否等于维度乘积，攻击者可伪造标签绕过


安全边界

采用固定形状 wrap 证明的 Groth16 与 Plonk 检查不受影响，链上 Solidity 检查器亦安全。

修复进展

  • Succinct 已于 9 月 24 日发布修复版本 6.8.1，新增反序列化长度校验，并已部署至主网

  • 漏洞由 Vitalis Salis 发现，经 Immunefi 漏洞赏金计划上报

  • 自行运行原生 Rust 验证器且接受不可信证明的用户需升级至 6.8.1