- early-review-non-interactive-zk.pdf:
Manuel Blum, Alfredo de Santis, Silvio Micali, and Giuseppe Persiano
NONINTERACTIVE ZERO-KNOWLEDGE
A classic review on non interactive zk-snark - groth-updatable-crs-zk.pdf:
Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn, Ian Miers
UPDATABLE AND UNIVERSAL COMMON REFERENCE STRINGS WITH APPLICATIONS TO ZK-SNARKS
First example of a semi-trusted setup with updatable CRS - pinocchio.pdf:
Bryan Parno Jon Howell, Craig Gentry, Mariana Raykova
PINOCCHIO: NEARLY PRACTICAL VERIFIABLE COMPUTATION
The first realistic snark, also sort of the boiler plate of other zk-snark protocols. - plonk.pdf:
Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru
PLONK: PERMUTATIONS OVER LAGRANGE-BASES FOR OECUMENICAL NONINTERACTIVE ARGUMENTS OF KNOWLEDGE
enhancement of sonic. - sonic.pdf:
Sean Bowe, Mary Maller, Markulf Kohlweiss, Sarah Meiklejohn, Ian Miers
SONIC: ZERO-KNOWLEDGE SNARKS FROM LINEAR-SIZE UNIVERSAL AND UPDATABLE STRUCTURED REFERENCE STRINGS
a fast, semi-trusted zk-snark - supersonic.pdf:
Benedikt Bunz, Ben Fisch, Alan Szepieniec
TRANSPARENT SNARKS FROM DARK COMPILERS
trustless setup version of sonic. slightly less performant