，Succinct旗下零知识证明系统SP1曝出高严重性soundness漏洞（GitHub公告GHSA-p7v2-jjv3-8p8f，10月11日发布），使其主网Prover Network暴露于无效证明——恶意证明者提交无效执行的证明，网络验证器仍会接受。漏洞位于SP1原生Rust验证器（6.0.0至6.8.0）：验证器仅读取数据的"标签"（声明维度）而未校验实际存储元素数是否等于维度乘积，攻击者可伪造标签使假证明通过。Groth16与Plonk检查因采用固定形状wrap证明不受影响，链上Solid