Это, вы, батенька, хватили...

Есть понятие HTTP_PRAGMA. Оно есть всегда при ходьбе через прокси. А дальше смотришь HTTP_VIA - если есть - прокси не анонимный - нету - анонимный. Можно сразу такие вещи отрезать со словами "Пользование анонимным прокси. Считается спамом и не добавляется".
Ну а все "приличные люди" пользуют прозрачный прокси, т.е. тот, что выдает HTTP_X_FORWARDED_FOR - где прописан тот ip, который надо баннить.
Да и потом, покажи мне то место, откуда с РИНЕТом связь плохая?