As zero-knowledge is becoming mainstream, and more and more projects are building provable compute into their tech, the speed of development is changing gears.