Ensure proofs returned by the prover are verified internally by leveraging the same verification code used by the verifier.