type ProveResponse = JobId;