SP1系统曝严重验证缺陷，无效证明可能被错误接受

开源项目Succinct近日披露其零知识证明框架SP1存在高危soundness漏洞（GitHub公告GHSA-p7v2-jjv3-8p8f），该漏洞于10月11日公开，影响范围涵盖主网Prover Network的原生Rust验证器（版本6.0.0至6.8.0）。

验证逻辑缺陷致虚假证明绕过校验

漏洞根源在于验证器仅依据数据标签中声明的维度进行判断，未对实际存储元素数量与维度乘积进行一致性核验。攻击者可篡改标签信息，构造出在形式上符合规格但执行逻辑错误的证明，从而诱导验证节点误判为有效。

主流协议未受影响，链上检查机制保持安全

值得注意的是，采用固定形状wrap证明的Groth16与Plonk方案不受此缺陷波及；同时，部署于链上的Solidity验证器因具备独立校验逻辑，亦维持安全性。

修复已发布，用户须及时更新至最新版本

Succinct已于9月24日推出修复补丁6.8.1，新增反序列化阶段的长度完整性校验，并完成主网部署。发现者Vitalis Salis通过Immunefi平台提交漏洞报告并获奖励。建议所有自运行原生Rust验证器且接收外部证明输入的节点立即升级至6.8.1及以上版本。