Polygon Labs将使用SP1为AggLayer引入悲观证明，以增强安全性

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