The investigators will evaluate the feasibility of TasP and PrEP through a set of indicators, including uptake, coverage, adherence, condom migration, occurrence of side effects and development of drug resistance, whereas mathematical modeling will be used to predict the potential impact of both interventions in the sex work milieu and the general population, based on the actual set of indicators observed. The study will be completed by an economic evaluation of the interventions and a cost-effectiveness analysis.