diff --git a/fields/src/packable.rs b/fields/src/packable.rs
index 6aa4e72b..64a61969 100644
--- a/fields/src/packable.rs
+++ b/fields/src/packable.rs
@@ -1,7 +1,7 @@
 use crate::ff::PrimeFieldRepr;
 use crate::packed::PackedField;
 
-/// Points us to the default packing for a particular field. There may me multiple choices of
+/// Points us to the default packing for a particular field. There may be multiple choices of
 /// PackedField for a particular Field (e.g. every Field is also a PackedField), but this is the
 /// recommended one. The recommended packing varies by target_arch and target_feature.
 pub trait Packable: PrimeFieldRepr {
diff --git a/starky/src/linearhash_bls12381.rs b/starky/src/linearhash_bls12381.rs
index 1eb9fa34..72026b0b 100644
--- a/starky/src/linearhash_bls12381.rs
+++ b/starky/src/linearhash_bls12381.rs
@@ -74,7 +74,7 @@ impl LinearHashBLS12381 {
         let bn_mont = match Fr::from_repr(bn.into_raw_repr()) {
             Ok(x) => x,
             _ => {
-                //cornor case: x > MODULUS
+                //corner case: x > MODULUS
                 let mut r = Fr(bn.into_raw_repr());
                 const R2: FrRepr = FrRepr([
                     14526898881837571181u64,
diff --git a/zkit/src/main.rs b/zkit/src/main.rs
index e6854be3..9567b115 100644
--- a/zkit/src/main.rs
+++ b/zkit/src/main.rs
@@ -65,7 +65,7 @@ struct GenerateVerifierOpt {
     #[arg(short, default_value = "vk.bin")]
     vk_file: String,
     #[arg(short, default_value = "groth16")]
-    protocal: String,
+    protocol: String,
     #[arg(short, default_value = "verifier.sol")]
     sol: String,
 }
@@ -97,7 +97,7 @@ struct ExportAggregationVerificationKeyOpt {
 /// Stark proving and verifying all in one
 #[derive(Parser, Debug)]
 struct StarkProveOpt {
-    #[arg(short, long = "stark_stuct", default_value = "stark_struct.json")]
+    #[arg(short, long = "stark_struct", default_value = "stark_struct.json")]
     stark_struct: String,
     #[arg(short, long = "piljson", default_value = "pil.json")]
     piljson: String,
@@ -111,7 +111,7 @@ struct StarkProveOpt {
     const_pols: String,
     #[arg(long = "m", default_value = "pols.cm")]
     cm_pols: String,
-    #[arg(short, long = "circom", default_value = "stark_verfier.circom")]
+    #[arg(short, long = "circom", default_value = "stark_verifier.circom")]
     circom_file: String,
     #[arg(long = "i", default_value = "zkin.json")]
     zkin: String,