In the real world that doesn't work. Instead, miners will just move their equipment to locales where the cost of the externalities is unregulated and therefore

In the real world that doesn't work. Instead, miners will just move their equipment to locales where the cost of the externalities is unregulated and therefore omitted. Sadly, one of the core flaws of capitalism, not that we have anything much better as an option.