According to Foresight News, core developers at Polygon Labs have announced that the blockchain aggregation layer, AggLayer, will use SP1, a general zkVM that supports standard Rust and uses Plonky3 as its proof system, to generate a key component of AggLayer known as pessimistic proof. This is a zero-knowledge proof (ZKP) method used to ensure the security of AggLayer.
SP1, built by Succinct Labs, will make it easier to link chains to AggLayer, while Plonky3 provides performance and robustness at the base level. As the logic of the pessimistic proof is written in Rust, SP1 enables other chains to connect to AggLayer more easily and quickly. The code for pessimistic proof is open-source licensed under MIT/Apache, making it accessible for anyone to use.