Consider removing proxy from remote prover binary #1341
Description
At the moment, the worker and proxy of the remote prover are coupled in the same binary. We need to discuss if we want to move it into a different binary or even another repository.
{{ message }}