What Is a Zero-Knowledge Proof?

A zero-knowledge proof lets one party convince another that a statement is true without revealing anything beyond its truth. Introduced in 1985 by Goldwasser, Micali and Rackoff, it underpins privacy-preserving systems: proving you are over eighteen without showing a birth date, or that a batch of transactions is valid without replaying them. In the agent economy it lets an agent prove a credential or a computation without exposing the data behind it.

Origin

Goldwasser–Micali–Rackoff, 1985

Property

Proves a statement, reveals nothing else

Agent use

Prove a credential without exposing it

Completeness, soundness, zero-knowledge

A proof system is zero-knowledge when it is complete (a true statement can be proven), sound (a false one cannot, except with negligible probability), and leaks nothing about the secret itself. Modern constructions — zk-SNARKs and zk-STARKs — make the proof small and fast to check even when the statement is large.

For agents acting across organisations that do not trust each other, this is the tool that lets a fact be checked without the underlying data changing hands — the privacy counterpart to a verifiable credential.

Related standards

Ethereum — zero-knowledge proofs

Questions

Is a zero-knowledge proof only for blockchains?

No. It predates blockchains by decades and is used anywhere a party must prove something without disclosing it — identity, compliance, private computation.

Does it guarantee privacy?

It guarantees the proof reveals nothing beyond the statement; privacy of the surrounding system still depends on what else it exposes.