据 Foresight News 报道,Polygon Labs 核心开发人员宣布,区块链聚合层 AggLayer 将使用 SP1(一个支持标准 Rust 的通用 zkVM,使用 Plonky3 作为其证明系统)来生成 AggLayer 的一个关键组件——悲观证明。这是一种零知识证明(ZKP)方法,用于确保 AggLayer 的安全。
SP1 由 Succinct Labs 打造,将使链与 AggLayer 的对接变得更加简单,而 Plonky3 则在底层提供了性能和稳健性。由于悲观证明的逻辑是用 Rust 编写的,SP1 使其他链能够更轻松、更快速地连接到 AggLayer。悲观证明的代码是在 MIT/Apache 许可下开源的,任何人都可以使用。