Verifier no specifies the number of challenges