SP1高严重性漏洞致Succinct主网Prover Network暴露于无效证明
来源 Jinse_news
金色财经报道，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。
免责声明：仅供参考。 过去的表现并不预示未来的结果。
推荐文章
RBA 将于 9 月 29 日议息，市场对加息至 4.60%（2011 年以来最高）的定价已达约 95%。本文拆解本轮加息的数据链条、高利率对澳洲家庭的真实影响（房贷 6%+、借贷能力缩水、房价回调），并给出 3 条资产配置思路与接下来的关键日程。
金价在 4,400 美元附近反复拉锯，高盛、瑞银、花旗给出 4,600 ~ 6,000 美元的长期目标；与此同时，澳洲金矿股迎来分红潮，成为 ASX 少数强势板块。本文对比「直接持有金价」与「配置金矿股」两种参与方式的逻辑差异、收益来源与风险，并附关键观察框架。
金价在 4,400 美元附近反复拉锯，高盛、瑞银、花旗给出 4,600 ~ 6,000 美元的长期目标；与此同时，澳洲金矿股迎来分红潮，成为 ASX 少数强势板块。本文对比「直接持有金价」与「配置金矿股」两种参与方式的逻辑差异、收益来源与风险，并附关键观察框架。
RBA 将于 9 月 29 日议息，市场对加息至 4.60%（2011 年以来最高）的定价已达约 95%。本文拆解本轮加息的数据链条、高利率对澳洲家庭的真实影响（房贷 6%+、借贷能力缩水、房价回调），并给出 3 条资产配置思路与接下来的关键日程。
