The Architects of Zero-Knowledge (ZK) 1985-2008
Before blockchains, there were the mathematicians who made them possible.
Almost every modern ZK system (Zcash, Ethereum rollups, Polygon, Starknet, Mina, etc.) traces its theoretical roots directly back to the Goldwasser–Micali definition of zero-knowledge from the 1980s. We've come a long way in the past 40 years and ZK is finally having its moment. Who were the creators and pioneers of this technology? Let's start with its early foundations.
The Parents of Zero-Knowledge: Micali & Goldwasser (1985)
Back in 1985, Silvio Micali & Shafi Goldwasser (and later with Charles Rackoff), wrote "The Knowledge Complexity of Interactive Proof Systems." Their paper formally defined zero-knowledge proofs and showed they can prove any NP statement without revealing anything else. It's the foundation of all modern ZK technology (zk-SNARKs, zk-STARKs, bulletproofs, etc.)
In 2012, Silvio and Shafi jointly won the ACM Turing Award (aka the "Nobel Prize of computing") for their work on zero-knowledge proofs, interactive proof systems, and the foundations of cryptography.
Expanding on the Ideas: Goldreich, Micali & Wigderson
They showed that ZK proofs exist for all languages in NP under standard assumptions, and introduced the "commitment + proof" paradigm that most modern ZK systems still use.
Goldwasser-Micali Encryption
- First scheme proven secure against chosen-plaintext attacks (IND-CPA) under a standard assumption
- Introduced probabilistic encryption and the semantic security definition that every modern encryption scheme (TLS, Signal, PGP, etc.) now aims to achieve
- Directly inspired later homomorphic and zero-knowledge systems
Micali went on to start Algorand ($ALGO), which introduced Pure Proof-of-Stake and several cryptographic innovations. He remains the chief scientist and a Ford Professor of Engineering at MIT.
Goldwasser is currently the Director of the Simons Institute for the Theory of Computing at UC Berkeley and Professor at MIT.
Jens Groth & Amit Sahai — Groth–Sahai Proofs (2006–2008)
Jens Groth
Groth's research focuses on making cryptographic primitives more efficient and applicable:
Zero-Knowledge (ZK) Proofs: He co-invented practical non-interactive zero-knowledge (NIZK) proofs based on bilinear pairings in his 2008 paper with Amit Sahai. This revolutionized ZK proofs by enabling efficient verification without interaction, crucial for scalable privacy in protocols.
Structure-Preserving Cryptography: His work on structure-preserving signatures and pairings allows cryptographic schemes to compose modularly, enhancing security proofs in complex systems.
Efficiency Improvements: Developed linear-time arguments, batch ZK proofs, and optimizations for low-degree polynomials, reducing computational costs for real-world use.
Amit Sahai
Introduced the first efficient non-interactive zero-knowledge proofs (NIZK) with Groth and non-interactive witness-indistinguishable proofs in bilinear groups.
- Introduced the concept of indistinguishability obfuscation (iO) — regarded as a "central hub" of cryptography, where you can build almost any advanced cryptographic object
- Helped define the modern notion of preprocessable SNARGs/SNARKs that are now the backbone of blockchain scaling
If Jens Groth is the "engineer" who built the fastest, most practical zk-SNARK (Groth16), Amit Sahai is the "architect" who co-designed the foundational building blocks and the theoretical framework that made the entire modern ZK ecosystem possible.
For more than a decade, Groth–Sahai was the standard way to get practical zero-knowledge in pairing-based protocols. Almost every academic paper on anonymous credentials, group signatures, ring signatures, e-voting, and early zk-SNARK precursors cited Groth–Sahai.
Some of the Most Influential Individuals in ZK History
- Shafi Goldwasser & Silvio Micali — invented the concept
- Oded Goldreich & Avi Wigderson — theoretical foundations
- Eli Ben-Sasson — co-inventor of practical SNARKs and STARKs
- Jens Groth — Groth16, the workhorse protocol
- Sean Bowe — implemented most of the above in real systems
- Barry WhiteHat — PLONK, Halo, privacy tooling
- Alessandro Chiesa — libsnark, Marlin, academic bridge to industry
- Zac Williamson — PLONK and universal circuits
- StarkWare & Matter Labs teams — scaled ZK to L2 rollups
Key Teams That Turned Theory Into Production (2019–2025)
- Zcash / Electric Coin Company (Sean Bowe, Daira Hopwood, etc.)
- StarkWare (Eli Ben-Sasson, Michael Riabzev, Uri Kolodny)
- Matter Labs / zkSync (Alex Gluchowski, Alex Vlasov)
- Aztec Protocol (Zac Williamson, Joe Andrews)
- Polygon — Hermez, Zero, Miden (Bobbin Threadbare et al.)
- Scroll (Ye Zhang et al.)
- Semaphore / PSE team (Barry WhiteHat, Vivek Bhupatiraju, Koh Wei Jie, etc.)
- Ingonyama, RISC Zero, Succinct Labs, =nil; Foundation — hardware and next-gen proving systems
