From 2c8e3e0d3657483d7039201b208ddf2a83aa6ea5 Mon Sep 17 00:00:00 2001 From: Alvarez <140459501+prestoalvarez@users.noreply.github.com> Date: Wed, 27 Aug 2025 12:53:16 +0200 Subject: [PATCH 1/5] Update row_matrix.rs --- prover/src/matrix/row_matrix.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prover/src/matrix/row_matrix.rs b/prover/src/matrix/row_matrix.rs index 6a7a18233..826993116 100644 --- a/prover/src/matrix/row_matrix.rs +++ b/prover/src/matrix/row_matrix.rs @@ -310,7 +310,7 @@ fn transpose(mut segments: Vec>) -> // TODO: investigate transposing in-place let mut result = unsafe { uninit_vector::<[B; N]>(result_len) }; - // determine number of batches in which transposition will be preformed; if `concurrent` + // determine number of batches in which transposition will be performed; if `concurrent` // feature is not enabled, the number of batches will always be 1 let num_batches = get_num_batches(result_len); let rows_per_batch = num_rows / num_batches; From 59189b51cd9b0922ca2c36ba093bc10f1f2fb09a Mon Sep 17 00:00:00 2001 From: Alvarez <140459501+prestoalvarez@users.noreply.github.com> Date: Wed, 27 Aug 2025 12:53:46 +0200 Subject: [PATCH 2/5] Update mod.rs --- prover/src/constraints/commitment/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prover/src/constraints/commitment/mod.rs b/prover/src/constraints/commitment/mod.rs index beb52c1d4..e31597107 100644 --- a/prover/src/constraints/commitment/mod.rs +++ b/prover/src/constraints/commitment/mod.rs @@ -25,7 +25,7 @@ pub trait ConstraintCommitment { /// The hash function used for hashing the rows of trace segment LDEs. type HashFn: ElementHasher; - /// The vector commitment scheme used for commiting to the trace. + /// The vector commitment scheme used for committing to the trace. type VC: VectorCommitment; /// Returns the commitment. From 01c57ef0ea803ffa89f9d19aa0ec86cf612e043d Mon Sep 17 00:00:00 2001 From: Alvarez <140459501+prestoalvarez@users.noreply.github.com> Date: Wed, 27 Aug 2025 12:54:13 +0200 Subject: [PATCH 3/5] Update mod.rs --- prover/src/trace/trace_lde/default/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prover/src/trace/trace_lde/default/mod.rs b/prover/src/trace/trace_lde/default/mod.rs index 73837d868..1b671adf3 100644 --- a/prover/src/trace/trace_lde/default/mod.rs +++ b/prover/src/trace/trace_lde/default/mod.rs @@ -195,7 +195,7 @@ where } /// Returns trace table rows at the specified positions along with an opening proof to these - /// rows againt the already computed commitment. + /// rows against the already computed commitment. fn query(&self, positions: &[usize]) -> Vec { // build queries for the main trace segment let mut result = vec![build_segment_queries::( From 2006d4454c50c47255397da745787fdc2959e729 Mon Sep 17 00:00:00 2001 From: Alvarez <140459501+prestoalvarez@users.noreply.github.com> Date: Wed, 27 Aug 2025 12:54:40 +0200 Subject: [PATCH 4/5] Update mod.rs --- prover/src/trace/trace_lde/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prover/src/trace/trace_lde/mod.rs b/prover/src/trace/trace_lde/mod.rs index 82dafa21a..bdecd996f 100644 --- a/prover/src/trace/trace_lde/mod.rs +++ b/prover/src/trace/trace_lde/mod.rs @@ -27,7 +27,7 @@ pub trait TraceLde: Sync { /// The hash function used for hashing the rows of trace segment LDEs. type HashFn: ElementHasher; - /// The vector commitment scheme used for commiting to the trace. + /// The vector commitment scheme used for committing to the trace. type VC: VectorCommitment; /// Returns the commitment to the low-degree extension of the main trace segment. From 330e7452460a41ee5deee8ed8bfe19a90d08aae1 Mon Sep 17 00:00:00 2001 From: Alvarez <140459501+prestoalvarez@users.noreply.github.com> Date: Wed, 27 Aug 2025 12:55:08 +0200 Subject: [PATCH 5/5] Update mod.rs --- fri/src/prover/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fri/src/prover/mod.rs b/fri/src/prover/mod.rs index b661083c7..0ddea13fe 100644 --- a/fri/src/prover/mod.rs +++ b/fri/src/prover/mod.rs @@ -202,7 +202,7 @@ where fn build_layer(&mut self, channel: &mut C, evaluations: &mut Vec) { // commit to the evaluations at the current layer; we do this by first transposing the // evaluations into a matrix of N columns, then hashing each row into a digest, and finally - // commiting to vector of these digests; we do this so that we could de-commit to N values + // committing to vector of these digests; we do this so that we could de-commit to N values // with a single opening proof. let transposed_evaluations = transpose_slice(evaluations); let evaluation_vector_commitment =