The relevant fact is that GPU mining is dead, not how big crypto is overall.