Merge pull request #290 from Solanasol233/typos1

chore: fix some typos

Author: mimoo

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;

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 {