Handling prover exceptions
So far, the prover returns None
in case of failure.
This MR is to update the prover to return the proof directly and for the helpers function to handle such errors.
So far, the prover returns None
in case of failure.
This MR is to update the prover to return the proof directly and for the helpers function to handle such errors.