clippy

primus-labs · Oct 30, 2024 · 78bc7ba · 78bc7ba
1 parent ae77190
commit 78bc7ba
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 28 deletions.
diff --git a/zkp/examples/round.rs b/zkp/examples/round.rs
@@ -58,15 +58,15 @@ fn generate_instance(num_vars: usize) -> RoundInstance<FF> {
         num_vars,
         input.iter().map(|x| FF::new(decode(*x))).collect(),
     ));
-    let mut output_bits_info = BitDecompositionInstanceInfo {
+    let output_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: LOG_FT,
         num_vars,
         num_instances: 2,
     };
 
-    let mut offset_bits_info = BitDecompositionInstanceInfo {
+    let offset_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: k_bits_len,
@@ -81,8 +81,8 @@ fn generate_instance(num_vars: usize) -> RoundInstance<FF> {
         delta,
         input,
         output,
-        &mut output_bits_info,
-        &mut offset_bits_info,
+        &output_bits_info,
+        &offset_bits_info,
     )
 }
 fn main() {

diff --git a/zkp/tests/test_lift.rs b/zkp/tests/test_lift.rs
@@ -170,7 +170,7 @@ fn test_trivial_zq_to_rq() {
     let evals_at_r = instance.evaluate(&kit.randomness);
     let evals_at_u = instance.evaluate(&kit.u);
 
-    let mut wrapper = kit.extract();
+    let wrapper = kit.extract();
 
     let mut lift_iop = LiftIOP::default();
     let mut verifier_trans = Transcript::<FF>::new();
@@ -180,7 +180,7 @@ fn test_trivial_zq_to_rq() {
 
     let (check, _) = lift_iop.verify(
         &mut verifier_trans,
-        &mut wrapper,
+        &wrapper,
         &evals_at_r,
         &evals_at_u,
         &info,
@@ -269,7 +269,7 @@ fn test_random_zq_to_rq() {
     let evals_at_r = instance.evaluate(&kit.randomness);
     let evals_at_u = instance.evaluate(&kit.u);
 
-    let mut wrapper = kit.extract();
+    let wrapper = kit.extract();
 
     let mut lift_iop = LiftIOP::default();
     let mut verifier_trans = Transcript::<FF>::new();
@@ -279,7 +279,7 @@ fn test_random_zq_to_rq() {
 
     let (check, _) = lift_iop.verify(
         &mut verifier_trans,
-        &mut wrapper,
+        &wrapper,
         &evals_at_r,
         &evals_at_u,
         &info,
@@ -352,10 +352,10 @@ fn test_random_zq_to_rq_extension_field() {
     lift_iop.generate_randomness(&mut verifier_trans, &info);
     lift_iop.generate_randomness_for_eq_function(&mut verifier_trans, &info);
 
-    let mut wrapper = kit.extract();
+    let wrapper = kit.extract();
     let (check, _) = lift_iop.verify(
         &mut verifier_trans,
-        &mut wrapper,
+        &wrapper,
         &evals_at_r,
         &evals_at_u,
         &info,

diff --git a/zkp/tests/test_lookup.rs b/zkp/tests/test_lookup.rs
@@ -90,7 +90,7 @@ fn test_trivial_range_check() {
     lookup.prover_generate_first_randomness(&mut prover_trans, &mut instance);
     lookup.generate_second_randomness(&mut prover_trans, &info);
     lookup.generate_randomness_for_eq_function(&mut prover_trans, &info);
-    let kit = lookup.prove(&mut prover_trans, &mut instance);
+    let kit = lookup.prove(&mut prover_trans, &instance);
     let evals = instance.evaluate(&kit.randomness);
 
     let wrapper = kit.extract();
@@ -150,7 +150,7 @@ fn test_random_range_check() {
     lookup.prover_generate_first_randomness(&mut prover_trans, &mut instance);
     lookup.generate_second_randomness(&mut prover_trans, &info);
     lookup.generate_randomness_for_eq_function(&mut prover_trans, &info);
-    let kit = lookup.prove(&mut prover_trans, &mut instance);
+    let kit = lookup.prove(&mut prover_trans, &instance);
     let evals = instance.evaluate(&kit.randomness);
 
     let wrapper = kit.extract();

diff --git a/zkp/tests/test_round.rs b/zkp/tests/test_round.rs
@@ -76,15 +76,15 @@ fn test_round_naive_iop() {
         num_vars,
         field_vec!(FF; 0, 1, 1, 2),
     ));
-    let mut output_bits_info = BitDecompositionInstanceInfo {
+    let output_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: LOG_FT,
         num_vars,
         num_instances: 2,
     };
 
-    let mut offset_bits_info = BitDecompositionInstanceInfo {
+    let offset_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: k_bits_len,
@@ -99,8 +99,8 @@ fn test_round_naive_iop() {
         delta,
         input,
         output,
-        &mut output_bits_info,
-        &mut offset_bits_info,
+        &output_bits_info,
+        &offset_bits_info,
     );
 
     let info = instance.info();
@@ -149,15 +149,15 @@ fn test_round_random_iop() {
         num_vars,
         input.iter().map(|x| FF::new(decode(*x))).collect(),
     ));
-    let mut output_bits_info = BitDecompositionInstanceInfo {
+    let output_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: LOG_FT,
         num_vars,
         num_instances: 2,
     };
 
-    let mut offset_bits_info = BitDecompositionInstanceInfo {
+    let offset_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: k_bits_len,
@@ -172,8 +172,8 @@ fn test_round_random_iop() {
         delta,
         input,
         output,
-        &mut output_bits_info,
-        &mut offset_bits_info,
+        &output_bits_info,
+        &offset_bits_info,
     );
 
     let info = instance.info();
@@ -222,15 +222,15 @@ fn test_round_random_iop_extension_field() {
         num_vars,
         input.iter().map(|x| FF::new(decode(*x))).collect(),
     ));
-    let mut output_bits_info = BitDecompositionInstanceInfo {
+    let output_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: LOG_FT,
         num_vars,
         num_instances: 2,
     };
 
-    let mut offset_bits_info = BitDecompositionInstanceInfo {
+    let offset_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: k_bits_len,
@@ -245,8 +245,8 @@ fn test_round_random_iop_extension_field() {
         delta,
         input,
         output,
-        &mut output_bits_info,
-        &mut offset_bits_info,
+        &output_bits_info,
+        &offset_bits_info,
     );
 
     let instance_ef = instance.to_ef::<EF>();
@@ -297,15 +297,15 @@ fn test_round_snark() {
         num_vars,
         input.iter().map(|x| FF::new(decode(*x))).collect(),
     ));
-    let mut output_bits_info = BitDecompositionInstanceInfo {
+    let output_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: LOG_FT,
         num_vars,
         num_instances: 2,
     };
 
-    let mut offset_bits_info = BitDecompositionInstanceInfo {
+    let offset_bits_info = BitDecompositionInstanceInfo {
         base,
         base_len,
         bits_len: k_bits_len,
@@ -320,8 +320,8 @@ fn test_round_snark() {
         delta,
         input,
         output,
-        &mut output_bits_info,
-        &mut offset_bits_info,
+        &output_bits_info,
+        &offset_bits_info,
     );
 
     let code_spec = ExpanderCodeSpec::new(0.1195, 0.0248, 1.9, BASE_FIELD_BITS, 10);