【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。

原文链接：https://www.cryptopolitan.com/sp1-bug-exposed-succinct-prover-network/

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。