Since proving in the cloud is already quite cheap with multi-GPU spot instances, the focus for zkVM teams targeting realtime proving will largely be optimizing for running provers on-prem where the specs are much more constrained.