Zero-Knowledge Proof

A zero-knowledge proof (ZKP, also called a ZK proof) lets a prover convince a verifier that a statement is true without revealing the statement's underlying data, satisfying three properties: completeness (valid inputs always pass), soundness (invalid inputs cannot be faked), and zero-knowledge itself (the verifier learns nothing beyond validity). ZK-rollups are the largest blockchain application, batching transactions off-chain and posting a single validity proof that a base layer verifies cheaply, while Zcash-style shielded payments use zk-SNARKs to hide transaction amounts and addresses while still proving correctness. Generating a proof is computationally expensive, but verifying one is fast, which is why ZKPs pair well with a hash function-based commitment scheme for compact on-chain checks. Related privacy techniques include fully homomorphic encryption, secure multi-party computation, and trusted execution environments, each trading off performance and trust assumptions differently. As tokenized assets like domains move on-chain, ZKPs are the primitive most likely to let owners prove eligibility or solvency for a transaction without exposing their full holdings, extending the cryptographic security model already protecting wallet keys.