Polygon Labs will use SP1 to introduce pessimistic proofs for AggLayer to enhance security

Polygon Labs core developers 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.