On the other hand, people chasing the dream of crypto scalability have actually invented a remarkable amount of math and tooling around large scale proof construction, summarization and validation. The Zero Knowledge proof ecosystem (and its relatives in multi-party computation and fully homomorphic encryption) might be the only useful thing that is left after the current incarnation of crypto fully implodes.