A journey into zero-knowledge proofs
Hey! I'm David, cofounder of zkSecurity and the author of the Real-World Cryptography book. I was previously a crypto architect at O(1) Labs (working on the Mina cryptocurrency), before that I was the security lead for Diem (formerly Libra) at Novi (Facebook), and a security consultant for the Cryptography Services of NCC Group. This is my blog about cryptography and security and other related topics that I find interesting. My journey into zero-knowledge proofs (ZKPs) began in university, with me slouching in an amphitheater chair attending a cryptography course. "Zero-knowledge proofs", said the professor, "allow a prover to convince a verifier that they know something without revealing the something". Intriguing, I thought. At the end of the course I had learned that you could prove simple statements, like the knowledge of the discrete logarithm of a field element (e.g. that you know x 𝑥 in y = g x mod p 𝑦 = 𝑔 𝑥 mod 𝑝 for some g 𝑔 and prime p 𝑝 ) or of an isomorphism b
Redirecting... If you are not redirected automatically, click here .
Explore this link on the map →related reading
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Lecture 14: Zero knowledge proofsboazbarak.org
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Aleo: Can You Keep a Secret?notboring.co
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero Knowledge - Not Boring by Packy McCormicknotboring.co
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- Background in ZK - Circom 2 Documentationdocs.circom.io
- How Unknowable Math Can Help Hide Secrets | Quanta Magazinequantamagazine.org
- Using ZK Proofs to Fight Disinformation | by Dan Boneh | Mediummedium.com