Serviço de nomes e roteamento para redes de anonimização de tráfego