diff --git a/src/plonk/prover.rs b/src/plonk/prover.rs index 3e862d2f..10c3fe4e 100644 --- a/src/plonk/prover.rs +++ b/src/plonk/prover.rs @@ -551,24 +551,22 @@ impl Proof { } } - if let Ok(multiopening) = + let multiopening = multiopen::Proof::create(params, &mut transcript, &mut transcript_scalar, instances) - { - Ok(Proof { - advice_commitments, - h_commitments, - permutation_product_commitments, - permutation_product_evals, - permutation_product_inv_evals, - permutation_evals, - advice_evals, - fixed_evals, - aux_evals, - h_evals, - multiopening, - }) - } else { - Err(Error::OpeningError) - } + .map_err(|_| Error::OpeningError)?; + + Ok(Proof { + advice_commitments, + h_commitments, + permutation_product_commitments, + permutation_product_evals, + permutation_product_inv_evals, + permutation_evals, + advice_evals, + fixed_evals, + aux_evals, + h_evals, + multiopening, + }) } }