Merge pull request #289 from Solanasol233/typos

docs: fix some typos in comment

Author: mimoo

src/backends/kimchi/mod.rs

@@ -378,15 +378,15 @@ impl Backend for KimchiVesta {
                     );
                     Err(err)?;
                 } else {
-                    Err(Error::new("contraint-finalization", ErrorKind::UnexpectedError("there's a bug in the circuit_writer, some cellvar does not end up being a cellvar in the circuit!"), Span::default()))?;
+                    Err(Error::new("constraint-finalization", ErrorKind::UnexpectedError("there's a bug in the circuit_writer, some cellvar does not end up being a cellvar in the circuit!"), Span::default()))?;
                 }
             }
         }
 
         // kimchi hack
         if self.gates.len() <= 2 {
             Err(Error::new(
-                "contraint-finalization",
+                "constraint-finalization",
                 ErrorKind::UnexpectedError(
                     "The circuit is either too small or does not constrain anything, too few gates create in the R1CS",
                 ),

src/backends/kimchi/prover.rs

@@ -329,7 +329,7 @@ mod tests {
             .unwrap();
 
         // first fradulent attempt: modifying one of the public output values
-        // attemp to modify the output value
+        // attempt to modify the output value
         let invalid_output = VestaField::from(output_val + 1);
         full_public_inputs[1] = invalid_output;
 
@@ -352,7 +352,7 @@ mod tests {
             _ => panic!("Expected DisconnectedWires error"),
         }
 
-        // second fradulent attempt: sync the value for all the output vars in all the gates
+        // second fraudulent attempt: sync the value for all the output vars in all the gates
         witness[0][result_row] = invalid_output;
 
         let result = prover_index.index.verify(&witness, &full_public_inputs);