chore: clippy

lurk-lang · Feb 12, 2024 · 8405923 · 8405923
1 parent f3ea441
commit 8405923
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/src/r1cs/util.rs b/src/r1cs/util.rs
@@ -1,4 +1,5 @@
 use ff::PrimeField;
+use group::Group;
 #[cfg(not(target_arch = "wasm32"))]
 use proptest::prelude::*;
 

diff --git a/src/spartan/batched.rs b/src/spartan/batched.rs
@@ -347,7 +347,7 @@ impl<E: Engine, EE: EvaluationEngineTrait<E>> BatchedRelaxedR1CSSNARKTrait<E>
     };
 
     let (batched_u, batched_w, sc_proof_batch, claims_batch_left) =
-      batch_eval_prove(u_vec, w_vec, &mut transcript)?;
+      batch_eval_prove(u_vec, &w_vec, &mut transcript)?;
 
     let eval_arg = EE::prove(
       ck,

diff --git a/src/spartan/snark.rs b/src/spartan/snark.rs
@@ -245,7 +245,7 @@ impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for Relax
     ];
 
     let (batched_u, batched_w, sc_proof_batch, claims_batch_left) =
-      batch_eval_prove(u_vec, w_vec, &mut transcript)?;
+      batch_eval_prove(u_vec, &w_vec, &mut transcript)?;
 
     let eval_arg = EE::prove(
       ck,
@@ -428,7 +428,7 @@ impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for Relax
 /// the claims and resulting evaluations from Sumcheck.
 pub(in crate::spartan) fn batch_eval_prove<E: Engine>(
   u_vec: Vec<PolyEvalInstance<E>>,
-  w_vec: Vec<PolyEvalWitness<E>>,
+  w_vec: &[PolyEvalWitness<E>],
   transcript: &mut E::TE,
 ) -> Result<
   (