Zero-Knowledge Proof (ZK)
A zero-knowledge proof (ZK proof) is a cryptographic method that lets one party convince another that a statement is true, for example that a transaction is valid or that they know a password, without revealing anything beyond that fact.
The idea in plain words
Imagine proving to a friend that you know where Waldo is on a crowded page. You cover the page with a large sheet that has a small hole, and place it so only Waldo shows through. Your friend is convinced you know the spot, yet learns nothing about where on the page it is. A zero-knowledge proof does the same with mathematics.
The concept was introduced by the researchers Goldwasser, Micali and Rackoff in the 1980s. A valid ZK proof has three properties: an honest prover can always convince the verifier (completeness), a cheater cannot convince the verifier except with negligible probability (soundness), and the verifier learns nothing except that the statement is true (zero knowledge).
Where ZK is used in crypto
Privacy: Zcash uses ZK proofs so a shielded transaction can show it does not create money from nothing while hiding sender, receiver and amount.
Scaling: ZK rollups execute thousands of transactions off the main chain and post a short validity proof to Ethereum. The main chain only checks the proof, which is far cheaper than re-running every transaction. Identity: ZK lets you prove a property, such as being over 18, without handing over your full ID.
SNARKs and STARKs
The two common families are zk-SNARKs, which produce very small proofs but often need a one-time trusted setup ceremony, and zk-STARKs, which avoid trusted setup and rely on hash functions, at the cost of larger proofs. Both let a verifier check a large computation quickly.
Limits and risks
The mathematics is strong, but the software is complex. A bug in a proof circuit could let invalid statements pass as valid. If a trusted setup were compromised, someone could in theory forge proofs. Generating proofs also takes heavy computation, and many ZK rollups still rely on a central operator to produce them. ZK proves a statement correct; it does not make the surrounding app safe.
Ask Coach about it
Coach is the AI on AtenaCrypto. It explains crypto with live market data, in plain words.
How does a ZK rollup use a validity proof to settle thousands of transactions on Ethereum?Ask Coach →
Frequently asked questions
What does ZK mean in crypto?
ZK stands for zero knowledge. It refers to proofs that confirm something is true without revealing the underlying data, and to projects built on them, such as ZK rollups.
Are zero-knowledge proofs only for privacy?
No. In crypto they are used at least as much for scaling: ZK rollups use them to prove that a batch of transactions was executed correctly.
Can a zero-knowledge proof be faked?
With a correct system the chance is negligible. Real risks come from implementation bugs or a compromised trusted setup, not from the underlying idea.
Related terms
Learn it step by step
AC Learning explains these ideas in interactive lessons — the first eight sections are free.
Open AC Learning → Create a free accountAll glossary terms · Educational reference only — not investment, legal, tax or financial advice.