diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs index f0d7ddeb55..6eee0ca882 100644 --- 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 index b9cb9e4293..958759815f 100644 --- a/o1vm/src/pickles/tests.rs +++ b/o1vm/src/pickles/tests.rs @@ -114,6 +114,9 @@ fn test_small_circuit() { let verif = verify::(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"); }