Expose the verifier to opt