chore: fix some comments

src/gadgets/r1cs.rs

@@ -121,7 +121,7 @@ impl<E: Engine> AllocatedRelaxedR1CSInstance<E> {
 
     // X0 and X1 are allocated and in the honest prover case set to zero
     // If the prover is malicious, it can set to arbitrary values, but the resulting
-    // relaxed R1CS instance with the the checked default values of W, E, and u must still be satisfying
+    // relaxed R1CS instance with the checked default values of W, E, and u must still be satisfying
     let X0 = BigNat::alloc_from_nat(
       cs.namespace(|| "allocate x_default[0]"),
       || Ok(f_to_nat(&E::Scalar::ZERO)),

src/gadgets/utils.rs

@@ -92,7 +92,7 @@ where
   })
 }
 
-/// interepret scalar as base
+/// interpret scalar as base
 pub fn scalar_as_base<E: Engine>(input: E::Scalar) -> E::Base {
   let input_bits = input.to_le_bits();
   let mut mult = E::Base::ONE;

src/traits/circuit.rs

@@ -11,7 +11,7 @@ pub trait StepCircuit<F: PrimeField>: Send + Sync + Clone {
   /// input a vector of size equal to arity and output a vector of size equal to arity
   fn arity(&self) -> usize;
 
-  /// Sythesize the circuit for a computation step and return variable
+  /// Synthesize the circuit for a computation step and return variable
   /// that corresponds to the output of the step `z_{i+1}`
   fn synthesize<CS: ConstraintSystem<F>>(
     &self,

src/traits/commitment.rs

@@ -35,7 +35,7 @@ pub trait CommitmentTrait<E: Engine>:
 }
 
 /// A trait that helps determine the length of a structure.
-/// Note this does not impose any memory representation contraints on the structure.
+/// Note this does not impose any memory representation constraints on the structure.
 pub trait Len {
   /// Returns the length of the structure.
   fn length(&self) -> usize;