Hi,
i have some miners behind a firewall blocking all ports except 80 and 443.
my solutions were:
Solution 1)get a linux box somewhere on the internet and use simpleproxy:
simpleproxy -v -d -L {IP OF LINUX BOX}:{PORT THAT PASSES YOUR FIREWALL} -R {POOL ADDRESS}:{POOL PORT}
then you would go and make your gminer connect to the IP and port of the linux box.
Solution 2) https://stratumproxy.iothey are using port 80 / 443 and forward your traffic to the pool of your choice (f2pool, 2miners, flypool..)
just set the password accordingly. there is 1% dev fee as of now.
cheers!