Verifier improvements