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

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