Zero-knowledge proof) — an interactive cryptographic protocol that allows one of the interacting parties ("The verifier") to verify the validity of a statement (usually mathematical) without having any other information from the second party ("The prover").