From 50d7d161b1261fd585ffc6c0410f6c54af3032fc Mon Sep 17 00:00:00 2001
From: Fallengirl <155266340+Fallengirl@users.noreply.github.com>
Date: Wed, 19 Feb 2025 22:35:11 +0100
Subject: [PATCH] Update zeromorph.rs

---
 pcs/src/commitment/zeromorph.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pcs/src/commitment/zeromorph.rs b/pcs/src/commitment/zeromorph.rs
index f8d70de..81a0363 100644
--- a/pcs/src/commitment/zeromorph.rs
+++ b/pcs/src/commitment/zeromorph.rs
@@ -629,7 +629,7 @@ mod test {
     use ark_std::{test_rng, UniformRand};
     use rand_core::SeedableRng;
 
-    // Evaluate Phi_k(x) = \sum_{i=0}^k x^i using the direct inefficent formula
+    // Evaluate Phi_k(x) = \sum_{i=0}^k x^i using the direct inefficient formula
     fn phi<P: Pairing>(challenge: &P::ScalarField, subscript: usize) -> P::ScalarField {
         let len = (1 << subscript) as u64;
         (0..len).fold(P::ScalarField::zero(), |mut acc, i| {
@@ -669,7 +669,7 @@ mod test {
             "The constant term equal to the evaluation of the polynomial at challenge point."
         );
 
-        //To demonstrate that q_k was properly constructd we show that the identity holds at a random multilinear challenge
+        //To demonstrate that q_k was properly constructed we show that the identity holds at a random multilinear challenge
         // i.e. 𝑓(𝑧) − 𝑣 − ∑ₖ₌₀ᵈ⁻¹ (𝑧ₖ − 𝑢ₖ)𝑞ₖ(𝑧) = 0
         let z_challenge = (0..num_vars)
             .map(|_| Fr::rand(&mut rng))
@@ -710,7 +710,7 @@ mod test {
         let mut rng = test_rng();
         let y_challenge = Fr::rand(&mut rng);
 
-        //Compute batched quptient  ̂q
+        //Compute batched quotient  ̂q
         let (batched_quotient, _) =
             compute_batched_lifted_degree_quotient::<Bn254>(&quotients, &y_challenge);