Designated_verifier_proof