cryptographic_proof