A cryptographic scheme where a prover is able to convince a verifier that a statement is true, without providing any more information than that single bit (that is, that the statement is true rather than false).
Source(s):
NISTIR 8301
under Zero-Knowledge Proof
from
Taxonomic Approach to Blockchain IDMS