..

range proofs

zkSNARKs

A Framework for Practical Universally Composable Zero-Knowledge Protocols (2011) - Camenisch, Krenn, Shoup.pdf.gz

A Graduate Course in Applied Cryptography (2017) [v0.4] - Boneh, Shoup.pdf.gz

A Machine-Checked Formalization of Sigma-Protocols (2010) - Barthe, Hedin, Béguelin, Grégoire, Heraud.pdf.gz

A Note on the Unsoundness of vnTinyRAM's SNARK (2015) - Parno.pdf.gz

Blind, Auditable Membership Proofs (2000) - Sander, Ta-Shma, Yung.pdf.gz

Cluster Computing in Zero Knowledge (2015) - Cheisa, Tromer, Virza.pdf.gz

Efficient Identification and Signatures for Smart Cards (1989) - Schnorr.pdf.gz

Everything Provable is Provable in Zero-Knowledge (1988) - Ben-Or, Goldreich, Goldwasser, Håstad, Kilian, Micali, Rogaway.pdf.gz

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems (2012) - Ben-Sasson, Chiesa, Genkin, Tromer.pdf.gz

Faster Two-Party Computation Using Garbled Circuits (2013) - Huang, Evans, Katz, Malka.pdf.gz

How to Garble Arithmetic Circuits (2012) - Appelbaum, Ishai, Kushilevitz.pdf.gz

On Diophantine Complexity and Statistical Zero-Knowledge Arguments (2003) - Lipmaa.pdf.gz

On the Concrete Efficiency of Probabilistically-Checkable Proofs (2012) - Ben-Sasson, Chiesa, Genkin, Tromer.pdf.gz

On the Portability of Generalized Schnorr Proofs (2009) - Camenisch, Lysyanskaya.pdf.gz

On the Size of Pairing-Based Non-Interactive Arguments (2016) - Groth.pdf.gz

One-out-of-Many Proofs Or How to Leak a Secret and Spend a Coin (2014) - Groth, Kohlweiss.pdf.gz

Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives (2017) - Chase, Derler, Goldfeder, Orlandi, Ramacher, Rechberger, Slamanig, Zavuchera.pdf.gz

Proof Systems for General Statements about Discrete Logarithms (1997) - Camenisch, Stadler.pdf.gz

Proof-of-Knowledge of Representation of Committed Value and Its Application (2010) - Au, Susilo, Mu.pdf.gz

Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems (1991) - Goldreich, Micali, Wigderson.pdf.gz

Quadratic Span Programs and Succinct NIZKs without PCPs (2014) - Gennaro, Gentry, Parno, Raykova.pdf.gz

Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture (2014) - Ben-Sasson, Chiesa, Tromer, Virza.pdf.gz

The History of the PCP Theorem (2005) - O'Donnell.pdf.gz

Trading Group Theory for Randomness (1985) - Babai.pdf.gz

ZKBoo Faster Zero-Knowledge for Boolean Circuits (2016) - Giacomelli, Madsen, Orlandi.pdf.gz

ZKPDL A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash (2010) - Lysyanskaya et. al.pdf.gz

Zero-Knowledge Argument for Polynomial Evaluation with Application to Blacklists (2015) - Bayer, Groth.pdf.gz

Zero-Knowledge Proofs (2016) [lecture] - Miller.pdf.gz

Zero-Knowledge Proofs of Identity (1988) - Feige, Fiat, Shamir.pdf.gz

Zero-Knowledge Using Garbled Circuits or How To Prove Non-Algebraic Statements Efficiently (2013) - Jawurek, Kerschbaum, Orlandi.pdf.gz