Zero Knowledge

This week, Anna and Ariel Gabizon cover the SNARK trilogy; a history of pairing-based SNARKs in 3 acts. Starting from Jens Groth’s early works on SNARKs, Ariel takes us on a journey through key moments and breakthroughs in SNARKs over the last decade. They also dive into the emerging accumulation research on folding schemes and Ariel’s latest work surrounding lookup tables! This is an episode you won’t want to miss.Here are some additional links for this episode:Relevant Jens Groth PapersShort Non-interactive Zero-Knowledge Proofs by Jens GrothShort Pairing-based Non-interactive Zero-Knowledge Arguments by Jens Groth On the Size of Pairing-based Non-interactive Arguments by Jens GrothZero-knowledge Argument for Polynomial Evaluation with Application to Blacklists by Stephanie Bayer and Jens Groth PLONK-Relative PapersPLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge by Gabizon, Williamson, Ciobotaru HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Ga