cryptographic proofs