From efaf6281eb691620d73a8297450a313696d7dfe5 Mon Sep 17 00:00:00 2001
From: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>
Date: Sun, 11 Feb 2024 15:15:50 -0500
Subject: [PATCH] chore: fix typos (#316)

---
 src/gadgets/nonnative/bignat.rs      | 4 ++--
 src/lib.rs                           | 4 ++--
 src/provider/non_hiding_kzg.rs       | 2 +-
 src/provider/non_hiding_zeromorph.rs | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/gadgets/nonnative/bignat.rs b/src/gadgets/nonnative/bignat.rs
index 058eb5dc5..cacac2daf 100644
--- a/src/gadgets/nonnative/bignat.rs
+++ b/src/gadgets/nonnative/bignat.rs
@@ -494,7 +494,7 @@ impl<Scalar: PrimeField> BigNat<Scalar> {
     })
   }
 
-  /// Compute a `BigNat` contrained to be equal to `self * other % modulus`.
+  /// Compute a `BigNat` constrained to be equal to `self * other % modulus`.
   pub fn mult_mod<CS: ConstraintSystem<Scalar>>(
     &self,
     mut cs: CS,
@@ -565,7 +565,7 @@ impl<Scalar: PrimeField> BigNat<Scalar> {
     Ok((quotient, remainder))
   }
 
-  /// Compute a `BigNat` contrained to be equal to `self * other % modulus`.
+  /// Compute a `BigNat` constrained to be equal to `self * other % modulus`.
   pub fn red_mod<CS: ConstraintSystem<Scalar>>(
     &self,
     mut cs: CS,
diff --git a/src/lib.rs b/src/lib.rs
index 93dc1b32d..1f736be64 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -650,14 +650,14 @@ where
     let is_inputs_not_match = self.z0_primary != z0_primary || self.z0_secondary != z0_secondary;
 
     // check if the (relaxed) R1CS instances have two public outputs
-    let is_instance_has_two_outpus = self.l_u_secondary.X.len() != 2
+    let is_instance_has_two_outputs = self.l_u_secondary.X.len() != 2
       || self.r_U_primary.X.len() != 2
       || self.r_U_secondary.X.len() != 2;
 
     if is_num_steps_zero
       || is_num_steps_not_match
       || is_inputs_not_match
-      || is_instance_has_two_outpus
+      || is_instance_has_two_outputs
     {
       return Err(NovaError::ProofVerifyError);
     }
diff --git a/src/provider/non_hiding_kzg.rs b/src/provider/non_hiding_kzg.rs
index f7f73b483..67dc9c2a5 100644
--- a/src/provider/non_hiding_kzg.rs
+++ b/src/provider/non_hiding_kzg.rs
@@ -267,7 +267,7 @@ where
   }
 
   /// Generate a commitment for a polynomial
-  /// Note that the scheme is not hidding
+  /// Note that the scheme is not hiding
   pub fn commit(
     prover_param: impl Borrow<KZGProverKey<E>>,
     poly: &UVKZGPoly<E::Fr>,
diff --git a/src/provider/non_hiding_zeromorph.rs b/src/provider/non_hiding_zeromorph.rs
index 863417326..070e3b873 100644
--- a/src/provider/non_hiding_zeromorph.rs
+++ b/src/provider/non_hiding_zeromorph.rs
@@ -147,7 +147,7 @@ where
   }
 
   /// Generate a commitment for a polynomial
-  /// Note that the scheme is not hidding
+  /// Note that the scheme is not hiding
   fn commit(
     pp: impl Borrow<ZMProverKey<E>>,
     poly: &MultilinearPolynomial<E::Fr>,