diff --git a/src/backends/kimchi/prover.rs b/src/backends/kimchi/prover.rs
index d3b99c96c..ac734c181 100644
--- a/src/backends/kimchi/prover.rs
+++ b/src/backends/kimchi/prover.rs
@@ -328,7 +328,7 @@ mod tests {
             .verify(&witness, &full_public_inputs)
             .unwrap();
 
-        // first fradulent attempt: modifying one of the public output values
+        // first fraudulent attempt: modifying one of the public output values
         // attempt to modify the output value
         let invalid_output = VestaField::from(output_val + 1);
         full_public_inputs[1] = invalid_output;
diff --git a/src/witness.rs b/src/witness.rs
index 94eefa117..0a41c6572 100644
--- a/src/witness.rs
+++ b/src/witness.rs
@@ -48,7 +48,7 @@ impl<B: Backend> CompiledCircuit<B> {
     pub fn main_info(&self) -> &FnInfo<B> {
         self.circuit
             .main_info()
-            .expect("constrait-writer bug: no main function found in witness generation")
+            .expect("constraint-writer bug: no main function found in witness generation")
     }
 
     pub fn asm(&self, sources: &Sources, debug: bool) -> String {