Zero-Knowledge Proof
A zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party (the prover) to convince another party (the verifier) that a statement is true without revealing any information beyond the truth of the statement itself. In blockchain applications, ZKPs enable privacy (Tornado Cash, private transactions), scalability (ZK-rollups that compress thousands of transactions into a single validity proof), and identity (ZK proofs of credentials without revealing the underlying data). The two main families are zk-SNARKs (succinct, non-interactive arguments of knowledge that require a trusted setup) and zk-STARKs (scalable, transparent arguments of knowledge that are post-quantum secure but produce larger proofs). For on-chain forensics, ZKPs create an analytical challenge: the link between transaction inputs and outputs is cryptographically obscured, making traditional transaction tracing impossible. This creates a tension between the privacy rights of legitimate users and the compliance needs of regulated entities.