reseting prover state
finalize proof integration