Cryptographic Proof Integration