diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs index 4bcadcbf6b..97aea44c12 100644 --- a/o1vm/src/pickles/prover.rs +++ b/o1vm/src/pickles/prover.rs @@ -86,7 +86,12 @@ where evaluations, logups, } = inputs; - let polys: WitnessColumns, G, [DensePolynomial; N_MIPS_SEL_COLS], ID> = { + let polys: WitnessColumns< + DensePolynomial, + G, + [DensePolynomial; N_MIPS_SEL_COLS], + ID, + > = { let WitnessColumns { scratch, instruction_counter, diff --git a/o1vm/src/pickles/tests.rs b/o1vm/src/pickles/tests.rs index 1780ce37dd..d7c4881ac9 100644 --- a/o1vm/src/pickles/tests.rs +++ b/o1vm/src/pickles/tests.rs @@ -7,8 +7,12 @@ use super::{ }; use crate::{ interpreters::mips::{ - constraints as mips_constraints, interpreter::{self, InterpreterEnv}, Instruction, - }, lookups::LookupTableIDs, pickles::{verifier::verify, MAXIMUM_DEGREE_CONSTRAINTS, TOTAL_NUMBER_OF_CONSTRAINTS} + constraints as mips_constraints, + interpreter::{self, InterpreterEnv}, + Instruction, + }, + lookups::LookupTableIDs, + pickles::{verifier::verify, MAXIMUM_DEGREE_CONSTRAINTS, TOTAL_NUMBER_OF_CONSTRAINTS}, }; use ark_ff::{One, Zero}; use interpreter::{ITypeInstruction, JTypeInstruction, RTypeInstruction}; @@ -114,7 +118,12 @@ fn test_small_circuit() { .unwrap(); let instant_before_verification = Instant::now(); - let verif = verify::(domain, &srs, &[expr.clone()], &proof); + let verif = verify::( + domain, + &srs, + &[expr.clone()], + &proof, + ); let instant_after_verification = Instant::now(); debug!( "Verification took: {} ms", diff --git a/o1vm/src/pickles/verifier.rs b/o1vm/src/pickles/verifier.rs index 3acf49cc56..216f1960a1 100644 --- a/o1vm/src/pickles/verifier.rs +++ b/o1vm/src/pickles/verifier.rs @@ -239,9 +239,7 @@ where let mut evaluations: Vec<_> = get_all_columns() .into_iter() .map(|column| { - let commitment = get_column_comm(column_eval - .commitment, - &column) + let commitment = get_column_comm(column_eval.commitment, &column) .unwrap_or_else(|| panic!("Could not get `commitment` for `Evaluation`")) .clone();