Miners to my mind are plugged into the electrical grid, they are consumers of electricity, from the same source as every other consumer from household to industrial.
Not quite accurate. We know from global studies and data that bitcoin mining is one of the greenest industries on the planet, using a far higher percentage of renewable energy than other industries. Bitcoin miners have the advantage that they can set up nearly anywhere, don't need all the expensive infrastructure that other industries need, don't need to be near a population base, and so on. They can go wherever renewable energy is, utilizing energy which would otherwise be wasted and subsidizing renewable projects which would otherwise be unprofitable and therefore not exist.
Definitely the case in Southeast Asia, where we more or less have the same electricity cost models since we all run on a mix of coal/hydro. You register either as a residential or industrial user, the latter gets a far higher rate -- last I checked about 5 times more than a residential user, and it increases with more usage, and with more hours of daily use -- a miner presumably runs 24/7 and will pay the highest tariffs.
It would be impossible to cheat as well since their usage would show up in a heartbeat on any power grid. Residential consumption in Southeast Asia per HH is extremely low considered on a global scale, but industrially, it can be very high compared to a global scale. These guys will clamp down hard and then steamroll your rigs (
literally, as I shared last year).
In fact, because the tariffs are much higher for industrial versus residential, most energy-intensive businesses don't plug in but try to subsidize with solar, and we even have special natural gas turbines (Liquified Natural Gas is our cheapest source of fuel, 5% price of gasoline for cleaner burning).
I don't know any miners personally, but I definitely recall several times even in my home town hobbyists trying to work out how to run these gas generators, with solar to produce very cheap electricity -- the issues in our climate, so close to the equator, is humidity, heat, and of course, noise (the least of the issues, but it's still unwanted attraction).