Fix typos in expression.rs and verify.rs

zokrates_ast/src/ir/expression.rs

@@ -195,7 +195,7 @@ impl<T> WithSpan for LinComb<T> {
 impl<T: Field> LinComb<T> {
     pub fn try_constant(self) -> Result<T, Self> {
         match self.value.len() {
-            // if the lincomb is empty, it is reduceable to 0
+            // if the lincomb is empty, it is reducible to 0
             0 => Ok(T::zero()),
             _ => {
                 // take the first variable in the lincomb
@@ -223,7 +223,7 @@ impl<T: Field> LinComb<T> {
 
     pub fn try_summand(self) -> Result<(Variable, T), Self> {
         match self.value.len() {
-            // if the lincomb is empty, it is not reduceable to a summand
+            // if the lincomb is empty, it is not reducible to a summand
             0 => Err(self),
             _ => {
                 // take the first variable in the lincomb

zokrates_cli/src/ops/nova/verify.rs

@@ -116,7 +116,7 @@ fn cli_nova_verify<'ast, T: NovaField>(
     let steps = instance.steps;
 
     if nova::verify_compressed(&proof, &vk, init, steps) {
-        println!("Compressed proof succesfully verified");
+        println!("Compressed proof successfully verified");
     } else {
         eprintln!("Compressed proof verification failed");
     }