You don't think there's a first amendment argument for mining bitcoin?
Could the government legally restrict me from solving a math problem?
If mitigating the CO2 produced by using some energy isn't priced into that energy, that's the fix. We absolutely need to incorporate externalities into prices.