5 月 29 日,Polygon Labs 核心开发人员宣布,区块链聚合层 AggLayer 将使用 SP1(一种支持标准 Rust 的通用 ZKVM,使用 Plonky3 作为其证明系统)来生成一个关键组件,称为悲观证明 (Pessimistic Proof)。这种零知识证明 (ZKP) 方法旨在增强 AggLayer 的安全性。由 Succinct Labs 开发的 SP1 有助于更轻松、更快速地将其他链连接到 AggLayer,其悲观证明的逻辑是用 Rust 编写的。悲观证明的代码是开源的,在 MIT/Apache 许可下,任何人都可以使用。