据 Foresight News 报道，Polygon Labs 的核心开发人员宣布，区块链聚合层 AggLayer 将使用 SP1（一种支持标准 Rust 的通用 zkVM，并使用 Plonky3 作为其证明系统）来生成 AggLayer 的一个关键组件，称为悲观证明，这是一种用于确保 AggLayer 安全的零知识证明（ZKP）方法。

SP1 由 Succinct Labs 构建，将使链连接到 AggLayer 变得更加容易，而 Plonky3 在底层提供性能和健全性。由于悲观证明的逻辑是用 Rust 编写的，SP1 使其他链能够更轻松、更快速地连接到 AggLayer。悲观证明的代码是在 MIT/Apache 下开源许可的，任何人都可以使用。