o1vm/pickles: Remove wrong comments and cleanup for CI

o1-labs · Oct 30, 2024 · 0d8e46d · 0d8e46d
1 parent 7201003
commit 0d8e46d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 6 deletions.
diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs
@@ -128,7 +128,7 @@ where
             error,
             selector,
         } = &polys;
-        // Note: We add a constant blinder in case we have a column with only zeroes.
+
         let comm = |poly: &DensePolynomial<G::ScalarField>| {
             srs.commit_custom(
                 poly,
@@ -383,9 +383,7 @@ where
         .map(|poly| {
             (
                 DensePolynomialOrEvaluations::DensePolynomial(poly),
-                // 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!
+                // We do not have any blinder, therefore we set to 1.
                 PolyComm::new(vec![G::ScalarField::one()]),
             )
         })

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

diff --git a/o1vm/src/pickles/verifier.rs b/o1vm/src/pickles/verifier.rs
@@ -2,7 +2,6 @@
 
 use ark_ec::{AffineRepr, Group};
 use ark_ff::{Field, One, PrimeField, Zero};
-use itertools::Itertools;
 use rand::thread_rng;
 
 use kimchi::{