
Technical Content
Plonk: A Mathematical Overview of this Proof System
Plonk is one of the most widely used proof systems. It is at the core of the proof systems used by ZKsync, Mina, Halo2 (by Zcash), Plonky2 (Polygon), and Succinct Labs SP1βs compression proof, gnark, due to its versatility and efficient prover. Since it's introduction, the Plonk