Zero Knowledge Proofs Power Privacy And Blockchain
A16Z Crypto research leaders discuss how zero-knowledge proofs evolved from mental poker to a core layer of blockchain infrastructure. Shafi Goldwasser and Justin Thaler explain the origins of interactive proofs, privacy, and verifiable computation. The conversation covers SNARKs, SumCheck, and the practical tradeoffs between privacy and efficiency. It also explores how proof systems are expanding into machine learning and legal applications.