The science of zero-knowledge
summary
a16z’s team ties cryptography to engineering to push snarks from theory to practice, using the sumcheck protocol as the key tool to make proof generation vastly faster. Zcash is the first real-world general-purpose snark; rollups use succinct proofs to move transaction work off chain. Work centers on building verified ZKVM runtimes and a sumcheck-centric system called Jolt to cut prover time. Expect prover performance within ~2 years and rigorous formal verification taking 3+ years.
AI-written summary · about
chapters (9)
- 0:00Introduction to Zero Knowledge Proofs
- 0:14Role and Goals of a16z Cryptographic Research
- 2:14Understanding SNARKs: The Basics
- 5:29The Evolution of SNARKs and Zcash
- 8:52Blockchain's Impact on Zero Knowledge Proofs
- 12:07Interactive Proofs and Cloud Computing
- 21:56The Future of SNARKs and ZKVMs
- 27:15Implications for Privacy and Compliance
- 32:43Conclusion and Final Thoughts
