diff --git a/src/plonk/verifier.rs b/src/plonk/verifier.rs index 2046140..9cd2aa4 100644 --- a/src/plonk/verifier.rs +++ b/src/plonk/verifier.rs @@ -281,7 +281,7 @@ impl<'a, C: CurveAffine> Proof { .chain( self.permutation_product_evals .iter() - .map(|product_eval| l_0 * &(C::Scalar::one() - &product_eval)), + .map(|product_eval| l_0 * &(C::Scalar::one() - product_eval)), ) // z(X) \prod (p(X) + \beta s_i(X) + \gamma) // - z(omega^{-1} X) \prod (p(X) + \delta^i \beta X + \gamma) diff --git a/src/poly/commitment/msm.rs b/src/poly/commitment/msm.rs index 7e04d92..42e6b87 100644 --- a/src/poly/commitment/msm.rs +++ b/src/poly/commitment/msm.rs @@ -55,7 +55,7 @@ impl<'a, C: CurveAffine> MSM<'a, C> { assert_eq!(scalars.len(), self.params.n as usize); if let Some(g_scalars) = &mut self.g_scalars { for (g_scalar, scalar) in g_scalars.iter_mut().zip(scalars.iter()) { - *g_scalar += &scalar; + *g_scalar += scalar; } } else { self.g_scalars = Some(scalars.to_vec()); diff --git a/src/poly/multiopen/verifier.rs b/src/poly/multiopen/verifier.rs index f674e31..bcdc30a 100644 --- a/src/poly/multiopen/verifier.rs +++ b/src/poly/multiopen/verifier.rs @@ -101,7 +101,7 @@ impl Proof { let r_poly = lagrange_interpolate(points, evals); let r_eval = eval_polynomial(&r_poly, x_6); let eval = points.iter().fold(*proof_eval - &r_eval, |eval, point| { - eval * &(x_6 - &point).invert().unwrap() + eval * &(x_6 - point).invert().unwrap() }); msm_eval * &x_5 + &eval }, @@ -119,7 +119,7 @@ impl Proof { |(mut commitment_msm, msm_eval), (q_commitment, q_eval)| { commitment_msm.scale(x_7); commitment_msm.add_msm(&q_commitment); - (commitment_msm, msm_eval * &x_7 + &q_eval) + (commitment_msm, msm_eval * &x_7 + q_eval) }, );