refactor compiled prover builder