比推消息， LambdaClass 近日披露了零知识证明基础设施公司 Succinct SP1 ZKVM 证明生成过程中的一个严重安全漏洞，此后其受到了严格审查。SP1 版本 3 中的漏洞是与 3Mi Labs 和 Aligned 合作发现的，源于两个独立安全漏洞的相互作用。

Succinct 此前通过 Github 和 Telegram 向其用户披露了这一潜在漏洞。虽然该漏洞在披露之前很快得到解决，但这一过程引发了人们对零知识虚拟机（ZKVM）安全实践透明度的担忧。SP1 的技术目前正在支持开发中的 rollup 基础设施的升级：

-Mantle Network 已集成 SP1 以过渡到 ZK 有效性 rollup，旨在缩短交易完成时间并支持机构级资产结算；

-AggLayer 使用 SP1 生成 pessimistic 证明，确保其跨链互操作性解决方案的安全性；

-Taiko 已采用 SP1 作为 ZK 证明器来保护其使用多证明器系统的 L2 执行；

-Soon 是一个相对较新的项目，正在构建一个 SVM rollup 框架，该框架使用由 SP1 提供支持的 ZK 故障证明来结算到以太坊，类似于 Eclipse，后者使用的是 RISC Zero。

LambdaClass 警告称，该漏洞的全部影响需要进一步评估。值得注意的是，漏洞利用取决于两个问题之间的相互作用，这意味着修复一个问题可能不足以阻止漏洞利用。

LambdaClass 开发人员 Fede 在社交媒体上强调，他的团队在察觉到 Succinct 就该问题缺乏紧迫感后，感到有必要公开披露该问题。

据 Avail 的 Anurag Arjun 称，Succinct 领导层在修复该问题方面采取了负责任的行动，但他同意需要更好的公开披露做法。Arjun 证实，其团队在漏洞公开披露之前已私下获悉此问题。Avail 的部署没有面临风险，因为他们依赖 Succinct 的专有证明器，该证明器仍处于许可状态。Avail 的 rollup 客户端尚未开始使用其 SP1 驱动的桥接合约，因此没有实际影响。

与此同时，Succinct 的支持者指出，负责任的披露通常涉及在公开声明之前进行私下报告，以避免不必要的恐慌和潜在的利用。

此外，Succinct 的 SP1 更新版本 4（称为 Turbo）解决了已发现的漏洞，下游项目已开始集成这些修复程序。（Blockworks）