clippy

Author: GhostOfGauss

gkr/src/prover/gkr_square.rs

@@ -9,6 +9,7 @@ use polynomials::MultiLinearPoly;
 use sumcheck::{sumcheck_prove_gkr_square_layer, ProverScratchPad};
 use transcript::Transcript;
 
+#[allow(clippy::type_complexity)]
 pub fn gkr_square_prove<C: GKRConfig, T: Transcript<C::ChallengeField>>(
     circuit: &Circuit<C>,
     sp: &mut ProverScratchPad<C>,

sumcheck/src/prover_helper/sumcheck_gkr_square.rs

@@ -118,7 +118,7 @@ impl<'a, C: GKRConfig, const D: usize> SumcheckGkrSquareHelper<'a, C, D> {
         let mut evals = self.mpi_helper.gkr2_poly_eval_at::<C, D>(
             var_idx,
             &self.sp.eq_evals_at_r_mpi0,
-            &mut self.sp.mpi_var_v_evals,
+            &self.sp.mpi_var_v_evals,
             self.sp.hg_evals_1[0],
             self.sp.hg_evals_5[0],
         );

sumcheck/src/sumcheck.rs

@@ -93,6 +93,7 @@ pub fn sumcheck_prove_gkr_layer<C: GKRConfig, T: Transcript<C::ChallengeField>>(
 
 // FIXME
 #[allow(clippy::needless_range_loop)] // todo: remove
+#[allow(clippy::type_complexity)]
 pub fn sumcheck_prove_gkr_square_layer<C: GKRConfig, T: Transcript<C::ChallengeField>>(
     layer: &CircuitLayer<C>,
     rz0: &[C::ChallengeField],

sumcheck/src/verifier_helper.rs

@@ -262,6 +262,7 @@ impl GKRVerifierHelper {
     }
 
     #[inline(always)]
+    #[allow(clippy::needless_range_loop)]
     fn lag_eval<C: GKRConfig>(
         vals: &[C::ChallengeField],
         x: C::ChallengeField,