diff --git a/examples/instances.rs b/examples/instances.rs
index cd347f31..cb9184d0 100644
--- a/examples/instances.rs
+++ b/examples/instances.rs
@@ -76,7 +76,7 @@ impl<const A: usize, F: PrimeField, const FAIL: bool> StepCircuit<A, F>
         }
     }
 
-    /// Sythesize the circuit for a computation step and return variable
+    /// Synthesize the circuit for a computation step and return variable
     /// that corresponds to the output of the step z_{i+1}
     /// this method will be called when we synthesize the IVC_Circuit
     ///
diff --git a/src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs b/src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs
index b7ef8848..cb1dfb8c 100644
--- a/src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs
+++ b/src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs
@@ -108,7 +108,7 @@ where
         ) = {
             let _support = info_span!("support").entered();
             // Since I want to scalar_multiply points for main::sfc, I take `CMain` as the main curve here
-            // CMain::Base or CSupport::Scalar (native for suppport_circuit)
+            // CMain::Base or CSupport::Scalar (native for support_circuit)
             //
             // For step zero, cyclefold::sfc expects `C::identity` to be multiplied by zero
             let support_circuit_instances: Vec<Vec<CMain::Base>> = support_circuit::InstanceInput {
diff --git a/src/nifs/sangria/mod.rs b/src/nifs/sangria/mod.rs
index c70372f6..2ab3a07f 100644
--- a/src/nifs/sangria/mod.rs
+++ b/src/nifs/sangria/mod.rs
@@ -560,7 +560,7 @@ impl<C: CurveAffine, const MARKERS: usize> GetConsistencyMarkers<MARKERS, C::Sca
     fn get_consistency_markers(&self) -> [C::ScalarExt; MARKERS] {
         match self.instances.first() {
             Some(instance) if instance.len() == MARKERS => instance.clone().try_into().unwrap(),
-            _ => unreachable!("folded plonk instancce always have markers"),
+            _ => unreachable!("folded plonk instance always have markers"),
         }
     }
 }
diff --git a/src/sps.rs b/src/sps.rs
index 39b3d247..9ba0b442 100644
--- a/src/sps.rs
+++ b/src/sps.rs
@@ -14,7 +14,7 @@ pub enum Error {
     Eval(#[from] EvalError),
     #[error("Sps verification fail challenge not match at index {challenge_index}")]
     ChallengeNotMatch { challenge_index: usize },
-    #[error("For this challenges count table must have lookup aguments")]
+    #[error("For this challenges count table must have lookup arguments")]
     LackOfLookupArguments,
     #[error("Lack of advices, should call `TableData::assembly` first")]
     LackOfAdvices,