From f53761ae9b50fad71ffeb4a985b0c1d59a640264 Mon Sep 17 00:00:00 2001
From: Marco <wudmytrotest200@gmail.com>
Date: Thu, 26 Dec 2024 21:05:49 +0100
Subject: [PATCH] Fix typographical errors in documentation and comments (#192)

* typo kzg.rs

* typo virtual_polynomial.rs

* typo gadgets.rs

* typo nova.rs
---
 folding-schemes/src/commitment/kzg.rs                    | 2 +-
 folding-schemes/src/folding/nova/nifs/nova.rs            | 2 +-
 folding-schemes/src/utils/espresso/virtual_polynomial.rs | 2 +-
 folding-schemes/src/utils/gadgets.rs                     | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/folding-schemes/src/commitment/kzg.rs b/folding-schemes/src/commitment/kzg.rs
index eec15bb3..f1873cd6 100644
--- a/folding-schemes/src/commitment/kzg.rs
+++ b/folding-schemes/src/commitment/kzg.rs
@@ -98,7 +98,7 @@ impl<'a, E: Pairing<G1: Curve>, const H: bool> CommitmentScheme<E::G1, H> for KZ
     }
 
     /// setup returns the tuple (ProverKey, VerifierKey). For real world deployments the setup must
-    /// be computed in the most trustless way possible, usually through a MPC ceremony.
+    /// be computed in the most trustless way possible, usually through an MPC ceremony.
     fn setup(
         mut rng: impl RngCore,
         len: usize,
diff --git a/folding-schemes/src/folding/nova/nifs/nova.rs b/folding-schemes/src/folding/nova/nifs/nova.rs
index da5c13bf..6abaf9d2 100644
--- a/folding-schemes/src/folding/nova/nifs/nova.rs
+++ b/folding-schemes/src/folding/nova/nifs/nova.rs
@@ -23,7 +23,7 @@ use crate::utils::vec::{hadamard, mat_vec_mul, vec_add, vec_scalar_mul, vec_sub}
 use crate::{Curve, Error};
 
 /// ChallengeGadget computes the RO challenge used for the Nova instances NIFS, it contains a
-/// rust-native and a in-circuit compatible versions.
+/// rust-native and an in-circuit compatible versions.
 pub struct ChallengeGadget<C: Curve, CI: Absorb> {
     _c: PhantomData<C>,
     _ci: PhantomData<CI>,
diff --git a/folding-schemes/src/utils/espresso/virtual_polynomial.rs b/folding-schemes/src/utils/espresso/virtual_polynomial.rs
index fde42c1a..b6a9e206 100644
--- a/folding-schemes/src/utils/espresso/virtual_polynomial.rs
+++ b/folding-schemes/src/utils/espresso/virtual_polynomial.rs
@@ -125,7 +125,7 @@ impl<F: PrimeField> VirtualPolynomial<F> {
         }
     }
 
-    /// Creates an new virtual polynomial from a MLE and its coefficient.
+    /// Creates a new virtual polynomial from a MLE and its coefficient.
     pub fn new_from_mle(mle: &Arc<DenseMultilinearExtension<F>>, coefficient: F) -> Self {
         let mle_ptr: *const DenseMultilinearExtension<F> = Arc::as_ptr(mle);
         let mut hm = HashMap::new();
diff --git a/folding-schemes/src/utils/gadgets.rs b/folding-schemes/src/utils/gadgets.rs
index 7f0f7797..94d0baf9 100644
--- a/folding-schemes/src/utils/gadgets.rs
+++ b/folding-schemes/src/utils/gadgets.rs
@@ -12,7 +12,7 @@ use crate::utils::vec::SparseMatrix;
 
 /// `EquivalenceGadget` enforces that two in-circuit variables are equivalent,
 /// where the equivalence relation is parameterized by `M`:
-/// - For `FpVar`, it is simply a equality relation, and `M` is unused.
+/// - For `FpVar`, it is simply an equality relation, and `M` is unused.
 /// - For `NonNativeUintVar`, we consider equivalence as a congruence relation,
 ///   in terms of modular arithmetic, so `M` specifies the modulus.
 pub trait EquivalenceGadget<M> {