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 protocol has been improved, and some components have been changed. Plonk stands for Permutations over Lagrange basis for Oecumenical, Non-interactive arguments of Knowledge. It was introduced by Williamson & Gabi...