New version of the verifier