币圈界报道：

SP1系统暴露严重验证缺陷，主网面临无效证明风险

近期披露的GitHub安全公告揭示，Succinct开发的零知识证明框架SP1存在高危健全性漏洞，导致其主网Prover Network可能接受非法生成的证明实例。该问题仅影响特定部署环境，且在6.0.0至6.8.0版本间持续存在。

原生验证器可被绕过，核心组件受波及

漏洞根源位于SP1的原生Rust验证逻辑中，攻击者可构造带有伪造尺寸标签的张量数据，使验证器误判为有效。此类攻击仅作用于Core与Compressed类型的证明路径，而基于Groth16与Plonk的链上检查机制因采用固定结构封装，未受波及。

漏洞成因与技术修复机制

漏洞编号GHSA-p7v2-jjv3-8p8f明确指出，受影响组件包括sp1_hypercube、sp1_prover及sp1_sdk的6.0.0至6.8.0版本。根本原因在于验证流程中仅校验张量的外部标签，未比对实际存储元素数量与维度乘积的一致性。

在6.8.1版本更新中，系统引入了反序列化阶段的长度一致性校验，任何不匹配声明维度与实际容量的张量将被直接拒绝，从而阻断攻击路径。

修复部署完成，用户需主动升级

自6.8.1版本上线后，Succinct已将补丁同步至主网节点。依赖公共证明服务的用户无需操作。但运行自定义验证器并处理第三方证明的应用方，必须及时升级至最新版本以规避风险。

该漏洞由安全研究员Vitalis Salis通过Immunefi平台报告，其发现过程已被纳入官方披露流程。