Validating Cryptographic Proof...