I don't see how it is beneficial to anyone (other than ASIC developers and energy companies) to build a tax paid to ASIC developers and energy companies into the protocol.
Energy is naturally decentralized all over the world.
A "tax to energy companies" is a subsidy from the energy company's point of view. If you want more of something, subsidize it. A world with more energy is better than a world with less, as we're all in the process of relearning.