How ZK Proofs & ZK-EVMs Work (without the math)
Zero-knowledge (ZK) proofs are powering the most recent innovations in web3. They're already being used in products such as Polygon's zkEVM to bring verifiable scalability to Ethereum, and Polygon ID to verify pieces of your identity without revealing any personal information. In one sentence: ZK proofs allow you to prove something without revealing the thing itself. This has several real-world applications, such as verifying your age without providing your full license/passport information. But how does this actually work? What's happening behind the scenes to make this possible? In this post, I'll cover everything you need to know about ZK proofs, but leave out the math. Let's do it! To prove the validity of a statement without revealing the statement itself, there are two parties involved: The Prover: the person trying to prove something. The Verifier: the person trying to validate the claim is "real". Sometimes, there is a third party involved, an issuer, who grants the prover a ce
J Jarrod Watts A software engineer turned developer relations engineer in the web3 space, from Australia 🇦🇺. Zero-knowledge (ZK) proofs are powering the most recent innovations in web3. They're already being used in products such as Polygon's zkEVM to bring verifiable scalability to Ethereum, and Polygon ID to verify pieces of your identity without revealing any personal information. In one sentence: ZK proofs allow you to prove something without revealing the thing itself . This has several real-world applications, such as verifying your age without providing your full license/passport info
Explore this link on the map →related reading
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- Aleo: Can You Keep a Secret?notboring.co
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- Introduction to zk-SNARKs | Consensysconsensys.net
- Why and How zk-SNARK Works 1: Introduction & the Medium of a Proof | by Maksym | Mediummedium.com
- Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoa16zcrypto.com
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Background in ZK - Circom 2 Documentationdocs.circom.io
- Zero-Knowledge Proof: Applications & Use Cases - Chainlinkchain.link
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu