Succinct SP1 发现高严重性漏洞，主网可能接受无效证明

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

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。