Starting verifier impl