The evolution of ZK development over the past decade has been remarkable

We went from PhDs writing circuits by hand to building DSLs where developers can write private applications without understanding circuit constraints at all.

This is how ZK goes mainstream.