fix typos in comments (argumentcomputer#236)

src/gadgets/nonnative/bignat.rs

@@ -167,7 +167,7 @@ impl<Scalar: PrimeField> BigNat<Scalar> {
   }
 
   /// Allocates a `BigNat` in the circuit with `n_limbs` limbs of width `limb_width` each.
-  /// The `max_word` is gauranteed to be `(2 << limb_width) - 1`.
+  /// The `max_word` is guaranteed to be `(2 << limb_width) - 1`.
   /// The value is provided by a closure returning a natural number.
   pub fn alloc_from_nat<CS, F>(
     mut cs: CS,
@@ -218,7 +218,7 @@ impl<Scalar: PrimeField> BigNat<Scalar> {
   }
 
   /// Allocates a `BigNat` in the circuit with `n_limbs` limbs of width `limb_width` each.
-  /// The `max_word` is gauranteed to be `(2 << limb_width) - 1`.
+  /// The `max_word` is guaranteed to be `(2 << limb_width) - 1`.
   /// The value is provided by an allocated number
   pub fn from_num<CS: ConstraintSystem<Scalar>>(
     mut cs: CS,

src/provider/ipa_pc.rs

@@ -186,7 +186,7 @@ where
     // absorb the instance in the transcript
     transcript.absorb(b"U", U);
 
-    // sample a random base for commiting to the inner product
+    // sample a random base for committing to the inner product
     let r = transcript.squeeze(b"r")?;
     let ck_c = ck_c.scale(&r);
 
@@ -302,7 +302,7 @@ where
     // absorb the instance in the transcript
     transcript.absorb(b"U", U);
 
-    // sample a random base for commiting to the inner product
+    // sample a random base for committing to the inner product
     let r = transcript.squeeze(b"r")?;
     let ck_c = ck_c.scale(&r);
 

src/r1cs/mod.rs

@@ -145,7 +145,7 @@ impl<G: Group> R1CSShape<G> {
     })
   }
 
-  /// returnd the digest of the `R1CSShape`
+  /// returned the digest of the `R1CSShape`
   pub fn digest(&self) -> G::Scalar {
     self
       .digest
@@ -301,7 +301,7 @@ impl<G: Group> R1CSShape<G> {
   }
 
   /// Pads the `R1CSShape` so that the number of variables is a power of two
-  /// Renumbers variables to accomodate padded variables
+  /// Renumbers variables to accommodate padded variables
   pub fn pad(&self) -> Self {
     // equalize the number of variables and constraints
     let m = max(self.num_vars, self.num_cons).next_power_of_two();