A proof allowing a prover to demonstrate statement validity without disclosing the underlying secret witness.