А чем не устраивает вариант воспользоваться любой СУБД, создать таблицу со столбцом, хранящим текстовую запись адреса прокси, уникальный индекс на этот столбец и фигачить туда с игнорированием ошибок вставки (INSERT IGNORE в MySQL, ON CONFLICT DO NOTHING в PostgreSQL)?
А потом просто сделать из этой таблицы выборку и получить уникальные значения. Уж СУБД с индексами, деревьями, хешами и прочими вещами умеют работать хорошо. В виде бонуса - вместе с адресом можно хранить и другую информацию, например, дату добавления, дату последней проверки и т.п.