ZK Academic Papers

A curated list of ZK academic papers.

Table of Content

• Elliptic Curve Cryptography
• Algorithms
• Verifiable Computing
• SNARKs

Elliptic Curve Cryptography

• A survey of elliptic curves for proof systems
• Families of SNARK-friendly 2-chains of elliptic curves
• Faster arithmetic on elliptic curves using $F_{p^2}$
• On Efficient Pairings on Elliptic Curves over Extension Fields

Algorithms

• Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields

Verifiable Computing

• xJsnark: A Framework for Efficient Verifiable Computation
• Pinocchio: Nearly Practical Verifiable Computation

SNARKs

• zk-SNARKs: A Gentle Introduction