Implementing verifier