According to Foresight News, core developers at Polygon Labs announced that the blockchain aggregation layer AggLayer will use SP1 (a general-purpose zkVM that supports standard Rust and uses Plonky3 as its proof system) to generate a key component of AggLayer called pessimistic proofs, which is a zero-knowledge proof (ZKP) method for ensuring the security of AggLayer.
SP1, built by Succinct Labs, will make it easier for chains to connect to the AggLayer, while Plonky3 provides performance and soundness under the hood. Since the logic for pessimistic proofs is written in Rust, SP1 enables other chains to connect to the AggLayer more easily and quickly. The code for pessimistic proofs is open source licensed under MIT/Apache and is available to anyone.
