o1vm/pickles: Format

o1-labs · Oct 28, 2024 · 824fd02 · 824fd02
1 parent 772fee6
commit 824fd02
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs
@@ -367,7 +367,7 @@ where
         .map(|poly| {
             (
                 DensePolynomialOrEvaluations::DensePolynomial(poly),
-                // We do not have any blinder, therefore we set to 1, 
+                // We do not have any blinder, therefore we set to 1,
                 // since otherwise we might commit to the zero polynomial
                 // and that would be bad!
                 PolyComm::new(vec![G::ScalarField::one()]),

diff --git a/o1vm/src/pickles/tests.rs b/o1vm/src/pickles/tests.rs
@@ -114,6 +114,9 @@ fn test_small_circuit() {
     let verif =
         verify::<Pallas, BaseSponge, ScalarSponge>(domain, &srs, &vec![expr.clone()], &proof);
     let instant_after_verification = Instant::now();
-    debug!("Verification took: {}", (instant_after_verification - instant_before_verification).as_millis());
+    debug!(
+        "Verification took: {}",
+        (instant_after_verification - instant_before_verification).as_millis()
+    );
     assert!(verif, "Verification fails");
 }