It would be absolutely impossible to 100% ban mining. They could seize assets of miners big enough to need specialised energy deals, which would get rid of 90%

It would be absolutely impossible to 100% ban mining. They could seize assets of miners big enough to need specialised energy deals, which would get rid of 90% of mining in the USA. They could crack down on exchanges banking in USD, which would get rid of 90% of mining worldwide. Stopping a single person running an algorithm on a single ASIC in a home environment is the impossible tail-end. I don't know if they even care about those, I'm not too worried about them.