...optimistic rollup camp say about zero knowledge proofs (ZKPs) Too new and therefore risky, with STARKs and PLONKs...

These verifiers must be maintained to remain compatible with both the proving systems (e.g., Groth16, PLONK...

Plonk, STARK, and Halo2 would remain unsupported.

...that different zk applications use various types of proofs, such as Groth16, Halo2-KZG, STARK, and Plonk...

Proof System selectionWhen it comes to proof systems for Bitcoin, pairing-based systems like Groth16, Plonk...

...on Ethereum today are recommended to use proof systems that utilize KZG commitments (such as various Plonk-based...

Precompiles are designed for specific purposes, such as for a particular proving system like Groth16 or Plonk...