Verifier initial commit