diff --git a/o1vm/src/pickles/lookup_prover.rs b/o1vm/src/pickles/lookup_prover.rs
index f5b7133ac7..7979b6c3bb 100644
--- a/o1vm/src/pickles/lookup_prover.rs
+++ b/o1vm/src/pickles/lookup_prover.rs
@@ -4,7 +4,7 @@ use kimchi::{circuits::domains::EvaluationDomains, curve::KimchiCurve, plonk_spo
 use mina_poseidon::FqSponge;
 use o1_utils::ExtendedDensePolynomial;
 use poly_commitment::{commitment::absorb_commitment, ipa::SRS, OpenProof, SRS as _};
-//TODO Parralelize
+//TODO Parallelize
 //use rayon::prelude::*;
 use super::lookup_columns::{ELookup, LookupChallenges, LookupEvalEnvironment};
 use crate::pickles::lookup_columns::*;
@@ -54,7 +54,7 @@ where
     };
 
     // Compute the 1/beta+sum_i gamma^i value_i for each lookup term
-    // The inversions is commputed in batch in the end
+    // The inversions is computed in batch in the end
     let mut inverses: Vec<Vec<G::ScalarField>> = wires
         .iter()
         .zip(arity)
@@ -101,7 +101,7 @@ where
         .interpolate()
     };
     let columns_poly = columns.my_map(interpolate_col);
-    // Commiting
+    // Committing
     // TODO avoid cloning
     let columns_com = columns_poly
         .clone()
@@ -113,7 +113,7 @@ where
     let columns_eval_d8 = columns_poly
         .clone()
         .my_map(|poly| poly.evaluate_over_domain_by_ref(domain.d8));
-    // abosrbing commit
+    // absorbing commit
     // TODO don't absorb the wires which already have been
     // TODO avoid cloning
     columns_com
diff --git a/poly-commitment/src/kzg.rs b/poly-commitment/src/kzg.rs
index 47f6cc73a6..235f572864 100644
--- a/poly-commitment/src/kzg.rs
+++ b/poly-commitment/src/kzg.rs
@@ -470,7 +470,7 @@ impl<
             .into_group();
         let numerator_commitment = { poly_commitment - eval_commitment - blinding_commitment };
         // We compute the result of the multiplication of two miller loop, to
-        // apply only one final exponentation
+        // apply only one final exponentiation
         let to_loop_left = [
             ark_ec::pairing::prepare_g1::<Pair>(numerator_commitment),
             // Note that we do a neagtion here, to put everything on the same