Literature

This collection of papers is meant to be a guide for new entrants into the field. This is not by any means a comprehensive list. If you think something should be added, please add it.

Foundations

zkSNARKs

On the Size of Pairing-based Non-interactive Arguments

PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge

Fast Reed-Solomon Interactive Oracle Proofs of Proximity

Delegating Computation: Interactive Proofs for Muggles

Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency

Proof-Carrying Data and Hearsay Arguments from Signature Cards

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems

Plookup: A simplified polynomial protocol for lookup tables

JOLT: SNARKs for Virtual Machines via Lookups

ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols

FHE

A Fully Homomorphic Encryption Scheme

Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based

Fully Homomorphic Encryption without Bootstrapping

TFHE: Fast Fully Homomorphic Encryption over the Torus

MPC

How to Generate and Exchange Secrets

How to Share a Secret

Protocols for Secure Computation

How to Play ANY Mental Game

Multiparty Computation from Somewhat Homomorphic Encryption

Applications and Review

Zerocash: Decentralized Anonymous Payments from Bitcoin

Verifiable Delay Functions

ZEXE: Enabling Decentralized Private Computation

zkLedger: Privacy-Preserving Auditing for Distributed Ledgers

Filecoin: A Decentralized Storage Network

Arke: Scalable and Byzantine Fault Tolerant Privacy-Preserving Contact Discovery

SoK: Programmable Privacy in Distributed Systems

zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure