Fix cargo fmt and clippy

0xPolygonHermez · Oct 7, 2024 · e132ca7 · e132ca7
1 parent 5a49d15
commit e132ca7
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 23 deletions.
diff --git a/proofman/src/proofman.rs b/proofman/src/proofman.rs
@@ -124,7 +124,13 @@ impl<F: Field + 'static> ProofMan<F> {
             }
 
             if !options.verify_constraints || stage < num_commit_stages {
-                Self::calculate_challenges(stage, &mut provers, pctx.clone(), &mut transcript, options.verify_constraints);
+                Self::calculate_challenges(
+                    stage,
+                    &mut provers,
+                    pctx.clone(),
+                    &mut transcript,
+                    options.verify_constraints,
+                );
             }
         }
 

diff --git a/proofman/src/verify_constraints.rs b/proofman/src/verify_constraints.rs
@@ -18,7 +18,7 @@ pub fn verify_constraints_proof<F: Field>(
     ectx: Arc<ExecutionCtx>,
     sctx: Arc<SetupCtx>,
     provers: Vec<Box<dyn Prover<F>>>,
-    mut witness_lib: Box<dyn WitnessLibrary<F>>
+    mut witness_lib: Box<dyn WitnessLibrary<F>>,
 ) {
     const MY_NAME: &str = "CstrVrfy";
     const FIELD_EXTENSION: usize = 3;
@@ -60,27 +60,24 @@ pub fn verify_constraints_proof<F: Field>(
                     valid,
                     line_str.to_str().unwrap()
                 );
+            } else if constraint.n_rows == 0 {
+                log::debug!(
+                    "{}:     · Constraint #{} (stage {}) {} -> {:?}",
+                    MY_NAME,
+                    constraint.id,
+                    constraint.stage,
+                    valid,
+                    line_str.to_str().unwrap()
+                );
             } else {
-                if constraint.n_rows == 0 {
-                    log::debug!(
-                        "{}:     · Constraint #{} (stage {}) {} -> {:?}",
-                        MY_NAME,
-                        constraint.id,
-                        constraint.stage,
-                        valid,
-                        line_str.to_str().unwrap()
-                    );
-                } else {
-                    log::info!(
-                        "{}:     · Constraint #{} (stage {}) {} -> {:?}",
-                        MY_NAME,
-                        constraint.id,
-                        constraint.stage,
-                        valid,
-                        line_str.to_str().unwrap()
-                    );
-                }
-
+                log::info!(
+                    "{}:     · Constraint #{} (stage {}) {} -> {:?}",
+                    MY_NAME,
+                    constraint.id,
+                    constraint.stage,
+                    valid,
+                    line_str.to_str().unwrap()
+                );
             }
             if constraint.n_rows > 0 {
                 valid_constraints_prover = false;

diff --git a/provers/starks-lib-c/Cargo.toml b/provers/starks-lib-c/Cargo.toml
@@ -9,5 +9,5 @@ build = "build.rs"
 log.workspace = true
 
 [features]
-default = ["no_lib_link"]
+default = []
 no_lib_link = []