Justin Thaler is Research Partner at a16z and an Associate Professor in the Department of Computer Science at Georgetown University. His research interests include verifiable computing, complexity theory, and algorithms for massive data sets. In 2011, he produced the first implementation of a general-purpose interactive proof system. He is the author of a comprehensive survey on SNARKs titled Proofs, Arguments, and Zero-Knowledge, and a co-creator of Apache DataSketches, an open-source library of production-quality streaming algorithms.Before joining a16z crypto and Georgetown, Justin was a Research Scientist at Yahoo Labs. Before that he completed her PhD in Computer Science at Harvard University.
Representative works include:
- Proofs, Arguments, and Zero-Knowledge
- Approximate Degree in Classical and Quantum Computing
- Apache DataSketches (co-creator)
- “Time-Optimal Interactive Proofs for Circuit Evaluation”
- “Practical Verified Computation with Streaming Interactive Proofs” (with Graham Cormode and Michael Mitzenmacher)
- “Verifying Computations with Streaming Interactive Proofs” (with Graham Cormode and Ke Yi)