Added verifier code implementation