Skip to main content

​
Zero-Knowledge Proof

A zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party, the prover, to prove to another party, the verifier, that a statement is true without revealing any information beyond the validity of the statement itself. ZKPs provide a mechanism for verifying facts, such as identity, account balances, or transaction validity, while maintaining full user privacy. They are increasingly used in blockchain for scaling solutions (ZK-rollups) and confidential transactions.

​
Definition

A zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party, the prover, to prove to another party, the verifier, that a statement is true without revealing any information beyond the validity of the statement itself. ZKPs provide a mechanism for verifying facts, such as identity, account balances, or transaction validity, while maintaining full user privacy. They are increasingly used in blockchain for scaling solutions (ZK-rollups) and confidential transactions.

​
Simple explanation

Imagine you have to prove you know a secret code to enter a room, but you don’t want to tell the guard the code. You perform a clever puzzle that only someone who knows the code could solve. The guard sees you solved the puzzle, knows you have the code, but never learns what the code actually is.

​
Why it matters

They are revolutionary for blockchain privacy and scalability, allowing for faster transactions that don’t reveal sensitive financial details. They enable users to prove things like ‘I am over 18’ or ‘I have enough money’ without revealing their birthday or total balance.

​
How it works

The prover constructs a complex mathematical challenge. The verifier challenges the prover with random queries related to the secret knowledge. By answering these queries correctly, the prover demonstrates they have the knowledge without ever exposing the underlying data.

​
Real-world example

Zcash for private transactions and ZK-rollups like zkSync or Starknet for Ethereum scaling.

​
Advantages

  • Unmatched user privacy
  • High scalability potential
  • Data minimization

​
Limitations

  • High computational power requirements
  • Complex mathematical proof
  • Longer proving times

​
Common misconceptions

  • People often think it reveals nothing, but it actually proves the truth of a statement.
  • Many believe ZKPs are only for privacy, while they are also essential for blockchain scalability.
Canonical knowledge ID: glossary:zero-knowledge-proof