The more people mining in proof of work, the more random hashes needed to secure a block. This is what makes it demand so much energy.

This isn’t the case with ZK provers. Each computation yields a solution, like regular fixed arithmetic math. Using more powerful FPGAs and adding more parallel provers, you can prove the same circuits in less time and less energy.