verifier library