simple offline verifier