distributed verifier