I think the real solution here is banning coal, natural gas, etc., not the downstream users of it. If I want to mine BTC with 100% nuclear/wind/solar energy, then the problem is solved right?
technically, any process with negative externalities should not necessarily be free of societal (i.e. governmental) limits. All of the "renewable" sources of energy you've mentioned here have some form of negative externality.
of course, in my non-expert opinion, it would be preferable for the government to focus directly on the negative externalities rather than second or third order causes thereof.
