refactor prover configuration constructors