chore: fix some typos

Solanasol233 · Solanasol233 · commit e8f60a5ef459 · 2025-10-22T11:15:41.000+08:00
diff --git 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
@@ -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 {

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ impl<B: Backend> CompiledCircuit<B> {`
`48`	`48`	`pub fn main_info(&self) -> &FnInfo<B> {`
`49`	`49`	`self.circuit`
`50`	`50`	`.main_info()`
`51`		`- .expect("constrait-writer bug: no main function found in witness generation")`
	`51`	`+ .expect("constraint-writer bug: no main function found in witness generation")`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`pub fn asm(&self, sources: &Sources, debug: bool) -> String {`