Cryptographic methods that allow one party to prove to another party that a statement is true without revealing any information beyond the validity of the statement itself.