🛠 Constructions

🐣 Old-school proof systems

• Cut-and-Choose (the very beginnings of ZK proofs, but encompasses some modern constructions, too)
• Schnorr Proofs (the king of efficiency for statements about DLOGs)
• Groth-Sahai Proofs (the first(?) useful non-interactive proof system in the CRS model without Random Oracles)

🔮 IOP family

• BCS16 (Original IOP SNARK construction)
• Aurora (improved R1CS → IOP compiler)
• Supersonic (RSA/Class Group Polynomial Commitments)
• PLONK

🧙‍♂️ Linear PCP family

🪭 Bulletproof-style

(split and fold)

• Bulletproofs

🤯 MPC in the Head

• ZKBoo line of work
• Ligero
• The cheese line of work (designated verifier, using information-theoretically secure MACs and Vector OLE)
  • Mac’n’Cheese
  • Feta
  • …
  • Overview: https://eprint.iacr.org/2023/857

🥬 Lattice ZKPs

https://lattices-meet-hashes23.epfl.ch/program.html

🧑‍💻 Implementations

• Arkworks

❓ Not yet categorized

• Spartan
• Hyrax
• vSQL
• Libra