allow to call prover and get its output