SP1漏洞修复：主网曾面临无效证明风险
Succinct披露其零知识证明系统SP1存在高严重性可靠性漏洞。该漏洞影响6.0.0至6.8.0版本的原生Rust验证器，可能导致主网Prover Network接受无效执行的证明。SP1漏洞源于验证器只检查数据标签，却未确认实际存储元素数量是否与声明的维度相符。采用固定形状的Groth16和Plonk检查，以及链上Solidity验证器均不受影响。Succinct于9月24日发布6.8.1版本，加入反序列化长度检查，并已部署至主网。该问题由Vitalis Salis通过Immunefi上报。运行原生Rust验证器并接受不可信证明者提交证明的用户应升级至6.8.1。
中性
该漏洞构成了实质性的安全风险：如果遭到利用，受影响的SP1原生Rust验证器可能接受无效执行证明，进而削弱依赖这些验证器的应用安全。不过，报道指出Succinct已发布并部署修复版本，固定形状的Groth16和Plonk检查以及链上Solidity验证器也未受影响，因此目前没有证据表明这是持续性、广泛的市场威胁。最直接的影响可能是运行受影响Rust验证器的用户需要采取运维措施，而非加密资产价格立即普遍承压。短期内，交易者可能会密切关注SP1相关项目、验证活动，以及是否出现漏洞利用或损失披露。长期来看，此事可能促使市场更重视证明系统实现安全，并推动审计、版本升级和纵深防御检查。类似基础设施漏洞若造成资金损失或网络级服务中断，可能引发明显市场波动；但目前没有证据显示本次漏洞遭到利用或造成持续中断，因此评估为中性更为恰当。