Overview
As shown in #3215 bb will create failing proofs if the proving key is not initialised manually. There is a discrepancy between the init implementations and the create_proof init that should be lined up
As described by @charlielye
When calling prove_and_verify, we are always creating the circuit/pk with the witness data and flag not set. prove_and_verify is guaranteed not to fail in this regard. It's faster as it only builds the circuit once, but exposes us to this class of error.
Overview
As shown in #3215 bb will create failing proofs if the proving key is not initialised manually. There is a discrepancy between the init implementations and the create_proof init that should be lined up
As described by @charlielye