SP1高严重性漏洞致Succinct主网Prover Network暴露于无效证明

Succinct旗下零知识证明系统SP1曝出高严重性soundness漏洞（GitHub公告GHSA-p7v2-jjv3-8p8f，10月11日发布），使其主网Prover Network暴露于无效证明——恶意证明者提交无效执行的证明，网络验证器仍会接受。漏洞位于SP1原生Rust验证器（6.0.0至6.8.0）：验证器仅读取数据的\"标签\"（声明维度）而未校验实际存储元素数是否等于维度乘积，攻击者可伪造标签使假证明通过。Groth16与Plonk检查因采用固定形状wrap证明不受影响，链上Solidity检查器亦安全。Succinct于9月24日发布修复版6.8.1（公告公开前17天），新增反序列化长度校验并部署至主网；发现者为Vitalis Salis，经Immunefi漏洞赏金上报。自行运行原生Rust验证器且接受不可信证明者需升级至6.8.1。