a16zcrypto.comtalkHow Zero-Knowledge Proofs Were Invented (ft. Co-Inventor and Turing Award Winner Shafi Goldwasser)
A First Principles podcast episode from a16z crypto in which Shafi Goldwasser (co-inventor of zero-knowledge proofs with Silvio Micali and Charles Rackoff) walks through the origin story and theory of interactive proof systems, including IP=PSPACE, probabilistically checkable proofs, the sum-check protocol, and modern SNARKs. The conversation covers why many "zk" systems marketed today aren't actually zero-knowledge, the rocky rejection history of the original 1985 paper, and applications to blockchain rollups and verifiable computation.
TL;DR Turing Award winner Shafi Goldwasser recounts inventing zero-knowledge proofs and traces the theory forward to SNARKs and blockchain verifiable computation.
Organisations named here
- Charles Rackoff
- Justin Thaler
- Shafi Goldwasser
- Silvio Micali
- Tim Roughgarden
Technologies named here
- SNARKs
- Sum-check protocol
Techniques named here
- Zero-knowledge proofs
- Interactive proofs
- IP = PSPACE
- Probabilistically checkable proofs
- Simulation paradigm
Related in Learning
hausec.comwriteupCreating a Red & Blue Team Homelab
bencteux.frarticleELearnSecurity Certified Threat Hunting Professional (eCTHPv2) review
protocolsoup.comtoolProtocol Soup
0xv1n.github.iowriteup