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

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