dynamic verifier sets