Hallo Enigma, Der englischsprachige Wikipedia-Artikel stellt das ganz gut dar: https://en.wikipedia.org/wiki/Opera_Mini Zur Kompression (die ja teils erheblich ist) wird tatsächlich ein Proxy verwendet. Ich kann auch aus erster Hand berichten, dass sich mit Opera Mini die Netzzugangssperren im Iran umgehen lassen.
Dass Opera Mini einen Proxy verwendet, ist mir neu, habe auch nichts auf die Schnelle dazu finden können. Ist das standardmäßig der Fall oder (de-)aktivierbar?