Ligero: lightweight sublinear arguments without a trusted setup

Zerocash: Decentralized Anonymous Payments from Bitcoin

Eli Ben Sasson, Alessandro Chiesa, Christina Garman et al. · 2014 · 1.9K citations · Full text

Computing, Computer Science, Cybersecurity +17

Proof verification and the hardness of approximation problems

Sanjeev Arora, Carsten Lund, Rajeev Motwani et al. · Journal of the ACM · 1998 · 1.4K citations · Full text

Computing, Computer Science, Mathematics +14

The knowledge complexity of interactive proof-systems

Sbafi Goldwasser, Silvio Micali, Charles Rackoff · 1985 · 1.2K citations · Full text

Computing, Computer Science, Cryptography +8

Probabilistic checking of proofs

Sanjeev Arora · Journal of the ACM · 1998 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +14

Bulletproofs: Short Proofs for Confidential Transactions and More

Benedikt Bünz, Jonathan Bootle, Dan Boneh et al. · 2018 · 1.1K citations · Full text

Computing, Computer Science, Cryptography +16