fix: typos (#357)

deny.toml

@@ -192,11 +192,11 @@ wildcards = "allow"
 # * all - Both lowest-version and simplest-path are used
 highlight = "all"
 # The default lint level for `default` features for crates that are members of
-# the workspace that is being checked. This can be overriden by allowing/denying
+# the workspace that is being checked. This can be overridden by allowing/denying
 # `default` on a crate-by-crate basis if desired.
 workspace-default-features = "allow"
 # The default lint level for `default` features for external crates that are not
-# members of the workspace. This can be overriden by allowing/denying `default`
+# members of the workspace. This can be overridden by allowing/denying `default`
 # on a crate-by-crate basis if desired.
 external-default-features = "allow"
 # List of crates that are allowed. Use with care!

src/provider/non_hiding_zeromorph.rs

@@ -85,7 +85,7 @@ where
   }
 
   /// Generate a commitment for a polynomial
-  /// Note that the scheme is not hidding
+  /// Note that the scheme is not hiding
   pub fn commit(
     prover_param: impl Borrow<KZGProverKey<E>>,
     poly: &UVKZGPoly<E::Fr>,

src/supernova/test.rs

@@ -355,7 +355,7 @@ where
   // Here demo a simple RAM machine
   // - with 2 argumented circuit
   // - each argumented circuit contains primary and secondary circuit
-  // - a memory commmitment via a public IO `rom` (like a program) to constraint the sequence execution
+  // - a memory commitment via a public IO `rom` (like a program) to constraint the sequence execution
 
   // This test also ready to add more argumented circuit and ROM can be arbitrary length