Why would we not tax the source of the problem. ie dirty energy generation via a carbon tax? That would then incentivize all energy use to become greener, rather than ad-hoc singling out individual use cases? A decent carbon tax would eliminate most dirty proof of work mining, as electricity is the major cost