Indeed. And I'm very interested in the core tech as I say elsewhere; for instance I've written my own ZK rollups for Ethereum as a project to better understand the tech. There's some bits and pieces on my GitHub if you're into that kind of thing.