Zero-Knowledge Proofs are cryptographic proofs of Computational Integrity (CI), where no additional information is revealed.

Proofs of CI are, as the name suggests, proofs that a computation was done correctly. In a CI protocol, there are two entities: a prover and a verifier. The prover takes a given computation - a computational statement - proves that it was done correctly, and presents this proof to the verifier. The verifier then verifies the proof - not the original computation - and can thus be satisfied that the original computation is correct.

The Zero-Knowledge component means the verifier did not learn any new information, besides the statement that was proven.