Polygon Labs' core developers 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 called pessimistic proof, which is a zero-knowledge proof (ZKP) method used to ensure the security of AggLayer.