Zero-Knowledge Proof

A method to prove you know something without revealing what it is.

A Zero-Knowledge Proof (ZKP) is a cryptographic method that allows one party to prove to another that they know a value or that a statement is true, without revealing the actual information.

        graph LR
  Center["Zero-Knowledge Proof"]:::main
  Rel_cryptography["cryptography"]:::related -.-> Center
  click Rel_cryptography "/terms/cryptography"
  Rel_zero_knowledge_proof["zero-knowledge-proof"]:::related -.-> Center
  click Rel_zero_knowledge_proof "/terms/zero-knowledge-proof"
  Rel_zero_knowledge_proof_zkp["zero-knowledge-proof-zkp"]:::related -.-> Center
  click Rel_zero_knowledge_proof_zkp "/terms/zero-knowledge-proof-zkp"
  classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
  classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
  classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
  classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
  linkStyle default stroke:#4b5563,stroke-width:2px;

      

🧒 Explain Like I'm 5

It's like proving to someone you have the key to a secret room without ever opening the door or showing them the key. You just show them you can go in and out through a hidden passage that only the key-holder knows.

🤓 Expert Deep Dive

Zero-Knowledge Proofs (ZKPs) leverage advanced cryptography, such as zk-SNARKs (Succinct Non-Interactive Arguments of Knowledge) or zk-STARKs (Scalable Transparent Arguments of Knowledge), to enable a Prover to convince a Verifier of a statement's truth without revealing the underlying data. In the context of blockchain, this is critical for both privacy (e.g., Zcash) and scalability (e.g., ZK-Rollups). The 'Succinct' nature of SNARKs allows for very small proof sizes that are fast to verify, shifting the heavy computational burden off-chain while maintaining on-chain security. STARKs improve on this by eliminating the need for a 'trusted setup' and being quantum-resistant, though at the cost of larger proof sizes.

📚 Sources