fix typos (#359)

microsoft · Jan 27, 2025 · 82c2186 · 82c2186
1 parent 6e5d625
commit 82c2186
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/benches/compressed-snark.rs b/benches/compressed-snark.rs
@@ -211,7 +211,7 @@ impl<F: PrimeField> StepCircuit<F> for NonTrivialCircuit<F> {
     cs: &mut CS,
     z: &[AllocatedNum<F>],
   ) -> Result<Vec<AllocatedNum<F>>, SynthesisError> {
-    // Consider a an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
+    // Consider an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
     let mut x = z[0].clone();
     let mut y = x.clone();
     for i in 0..self.num_cons {

diff --git a/benches/compute-digest.rs b/benches/compute-digest.rs
@@ -63,7 +63,7 @@ impl<F: PrimeField> StepCircuit<F> for NonTrivialCircuit<F> {
     cs: &mut CS,
     z: &[AllocatedNum<F>],
   ) -> Result<Vec<AllocatedNum<F>>, SynthesisError> {
-    // Consider a an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
+    // Consider an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
     let mut x = z[0].clone();
     let mut y = x.clone();
     for i in 0..self.num_cons {

diff --git a/benches/ppsnark.rs b/benches/ppsnark.rs
@@ -119,7 +119,7 @@ impl<F: PrimeField> StepCircuit<F> for NonTrivialCircuit<F> {
     cs: &mut CS,
     z: &[AllocatedNum<F>],
   ) -> Result<Vec<AllocatedNum<F>>, SynthesisError> {
-    // Consider a an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
+    // Consider an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
     let mut x = z[0].clone();
     let mut y = z[0].clone();
     for i in 0..self.num_cons {

diff --git a/benches/recursive-snark.rs b/benches/recursive-snark.rs
@@ -160,7 +160,7 @@ impl<F: PrimeField> StepCircuit<F> for NonTrivialCircuit<F> {
     cs: &mut CS,
     z: &[AllocatedNum<F>],
   ) -> Result<Vec<AllocatedNum<F>>, SynthesisError> {
-    // Consider a an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
+    // Consider an equation: `x^2 = y`, where `x` and `y` are respectively the input and output.
     let mut x = z[0].clone();
     let mut y = x.clone();
     for i in 0..self.num_cons {

diff --git a/src/frontend/gadgets/num.rs b/src/frontend/gadgets/num.rs
@@ -83,7 +83,7 @@ impl<Scalar: PrimeField> AllocatedNum<Scalar> {
   }
 
   /// Allocate a `Variable` of either `Aux` or `Input` in a
-  /// `ConstraintSystem`. The `Variable` is a an `Input` if `is_input` is
+  /// `ConstraintSystem`. The `Variable` is an `Input` if `is_input` is
   /// true. This allows uniform creation of circuits containing components
   /// which may or may not be public inputs.
   pub fn alloc_maybe_input<CS, F>(cs: CS, is_input: bool, value: F) -> Result<Self, SynthesisError>