The difficulty adjustment would just make it a little easier to mine bitcoins, so miners would spend the same money. But at least they'd be using clean energy if the carbon tax were high enough.