- mathematical proof that a statement is true without revealing underlying data cryptography cryptographic proofs