Thats why I say pure, as in pure mathematics. It's innovation, but in a primarily abstract direction, where sorting out abstract technical problems takes priority over practicality.
In the case of crypto, much of this pure innovation is in the spirit of game theory, i.e. devising incentive mechanisms that preclude certain malicious behaviors, by anticipating the motives of bad actors.
But you could make a semantic argument that the term innovation requires concrete application, which I don't think is necessary. I make the same point with the disclaimer of "pure" innovation.