epsilon_verifier
