币圈界报道：

SP1验证器曝严重健全性缺陷，主网面临无效证明风险

Succinct的零知识证明框架SP1中发现一处高危严重性漏洞，该漏洞存在于原生Rust验证器中，可能导致主网Prover Network接受无效执行的证明。根据10月11日发布的GitHub安全通告，此漏洞仅影响唯一已知部署实例——主网网络。

恶意证明可绕过验证机制，核心路径暴露于攻击面

在6.0.0至6.8.0版本间，若证明直接提交至SP1原生验证器，其可能接受伪造的无效证明。编号为GHSA-p7v2-jjv3-8p8f的安全通告明确指出，攻击者可构造针对非真实执行流程的证明，而验证节点将无条件通过。该问题波及使用Core与Compressed类型证明的路径，但链上采用Groth16和Plonk验证的Solidity检查器未受影响。

张量结构验证缺失导致完整性失效，修复引入长度校验

漏洞根源在于验证器未对张量数据的实际内容与标签声明的维度进行一致性核验。尽管每份证明均附带尺寸标签，但系统仅比对标签值，忽视内部缓冲区实际元素数量。攻击者借此伪造标签，使不合规数据通过验证流程。在6.8.1版本中，反序列化阶段新增了严格长度校验逻辑，任何存储项数与维度乘积不符的张量将被直接拒绝。

修复已上线主网，用户需主动升级受影响环境

自9月24日发布6.8.1版本起，Succinct已完成修复并部署至主网Prover Network。当前向网络发起证明请求的应用无需调整。然而，自行运行原生验证器且接收来自不可信证明者的用户，必须立即更新至6.8.1或更高版本以规避风险。该漏洞由Vitalis Salis通过Immunefi平台报告，获得相应赏金奖励。