Cracking Lagrange's ZK Prover Network

With Lagrange’s ZK Coprocessor, the computations are moved offchain, then ZK-proofed, and finally sent back onchain. So wait a minute: Who does the proving? It has to be done by someone, right?