From 50288c2c9a8d3510d56eae58e3995df85b173f89 Mon Sep 17 00:00:00 2001 From: Thomas Coratger Date: Thu, 28 Nov 2024 12:13:39 +0100 Subject: [PATCH] fix preprocessed typo --- crates/prover/src/constraint_framework/component.rs | 4 ++-- crates/prover/src/core/air/components.rs | 4 ++-- crates/prover/src/core/air/mod.rs | 2 +- crates/prover/src/examples/blake/air.rs | 2 +- crates/prover/src/examples/wide_fibonacci/mod.rs | 2 +- crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs | 8 ++++---- 6 files changed, 11 insertions(+), 11 deletions(-) diff --git a/crates/prover/src/constraint_framework/component.rs b/crates/prover/src/constraint_framework/component.rs index 078e84bb8..05474930d 100644 --- a/crates/prover/src/constraint_framework/component.rs +++ b/crates/prover/src/constraint_framework/component.rs @@ -80,7 +80,7 @@ impl TraceLocationAllocator { } /// Create a new `TraceLocationAllocator` with fixed preprocessed columns setup. - pub fn new_with_preproccessed_columns(preprocessed_columns: &[PreprocessedColumn]) -> Self { + pub fn new_with_preprocessed_columns(preprocessed_columns: &[PreprocessedColumn]) -> Self { Self { next_tree_offsets: Default::default(), preprocessed_columns: preprocessed_columns @@ -212,7 +212,7 @@ impl Component for FrameworkComponent { }) } - fn preproccessed_column_indices(&self) -> ColumnVec { + fn preprocessed_column_indices(&self) -> ColumnVec { self.preprocessed_column_indices.clone() } diff --git a/crates/prover/src/core/air/components.rs b/crates/prover/src/core/air/components.rs index 3f9bf78ad..eb925b7f5 100644 --- a/crates/prover/src/core/air/components.rs +++ b/crates/prover/src/core/air/components.rs @@ -40,7 +40,7 @@ impl<'a> Components<'a> { *preprocessed_mask_points = vec![vec![]; self.n_preprocessed_columns]; for component in &self.components { - for idx in component.preproccessed_column_indices() { + for idx in component.preprocessed_column_indices() { preprocessed_mask_points[idx] = vec![point]; } } @@ -73,7 +73,7 @@ impl<'a> Components<'a> { let component_trace_log_sizes = component.trace_log_degree_bounds(); for (column_index, &log_size) in zip( - component.preproccessed_column_indices(), + component.preprocessed_column_indices(), &component_trace_log_sizes[PREPROCESSED_TRACE_IDX], ) { let column_log_size = &mut preprocessed_columns_trace_log_sizes[column_index]; diff --git a/crates/prover/src/core/air/mod.rs b/crates/prover/src/core/air/mod.rs index 671d05048..7e1a92925 100644 --- a/crates/prover/src/core/air/mod.rs +++ b/crates/prover/src/core/air/mod.rs @@ -45,7 +45,7 @@ pub trait Component { point: CirclePoint, ) -> TreeVec>>>; - fn preproccessed_column_indices(&self) -> ColumnVec; + fn preprocessed_column_indices(&self) -> ColumnVec; /// Evaluates the constraint quotients combination of the component at a point. fn evaluate_constraint_quotients_at_point( diff --git a/crates/prover/src/examples/blake/air.rs b/crates/prover/src/examples/blake/air.rs index 424e34f13..59e79b6fb 100644 --- a/crates/prover/src/examples/blake/air.rs +++ b/crates/prover/src/examples/blake/air.rs @@ -169,7 +169,7 @@ impl BlakeComponents { .iter() .map(|l| PreprocessedColumn::IsFirst(log_size + l)); - let tree_span_provider = &mut TraceLocationAllocator::new_with_preproccessed_columns( + let tree_span_provider = &mut TraceLocationAllocator::new_with_preprocessed_columns( &chain!( [scheduler_is_first_column], blake_round_is_first_columns_iter, diff --git a/crates/prover/src/examples/wide_fibonacci/mod.rs b/crates/prover/src/examples/wide_fibonacci/mod.rs index afdc64caa..f118bef90 100644 --- a/crates/prover/src/examples/wide_fibonacci/mod.rs +++ b/crates/prover/src/examples/wide_fibonacci/mod.rs @@ -243,7 +243,7 @@ mod tests { let mut commitment_scheme = CommitmentSchemeProver::::new(config, &twiddles); - // TODO(ilya): remove the following once preproccessed columns are not mandatory. + // TODO(ilya): remove the following once preprocessed columns are not mandatory. // Preprocessed trace let mut tree_builder = commitment_scheme.tree_builder(); tree_builder.extend_evals([]); diff --git a/crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs b/crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs index 69acedccb..5f96f03bf 100644 --- a/crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs +++ b/crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs @@ -145,7 +145,7 @@ impl<'twiddles, 'oracle, O: MleCoeffColumnOracle> Component }) } - fn preproccessed_column_indices(&self) -> ColumnVec { + fn preprocessed_column_indices(&self) -> ColumnVec { vec![] } @@ -358,7 +358,7 @@ impl<'oracle, O: MleCoeffColumnOracle> Component for MleEvalVerifierComponent<'o }) } - fn preproccessed_column_indices(&self) -> ColumnVec { + fn preprocessed_column_indices(&self) -> ColumnVec { vec![] } @@ -794,7 +794,7 @@ mod tests { let mut commitment_scheme = CommitmentSchemeProver::<_, Blake2sMerkleChannel>::new(config, &twiddles); let channel = &mut Blake2sChannel::default(); - // TODO(ilya): remove the following once preproccessed columns are not mandatory. + // TODO(ilya): remove the following once preprocessed columns are not mandatory. // Preprocessed trace let mut tree_builder = commitment_scheme.tree_builder(); tree_builder.extend_evals([]); @@ -870,7 +870,7 @@ mod tests { CommitmentSchemeProver::<_, Blake2sMerkleChannel>::new(config, &twiddles); let channel = &mut Blake2sChannel::default(); - // TODO(ilya): remove the following once preproccessed columns are not mandatory. + // TODO(ilya): remove the following once preprocessed columns are not mandatory. // Preprocessed trace let mut tree_builder = commitment_scheme.tree_builder(); tree_builder.extend_evals([]);