Computing power Taxation