Results for Cryptographic proofs