From ac10d25c91fb05f048e10295cf96bd496bd4c5ca Mon Sep 17 00:00:00 2001
From: Tristav <124001124+Pricstas@users.noreply.github.com>
Date: Wed, 18 Dec 2024 14:03:11 +0100
Subject: [PATCH 1/2] typos time_prover.rs

---
 src/subprotocols/sumcheck/time_prover.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/subprotocols/sumcheck/time_prover.rs b/src/subprotocols/sumcheck/time_prover.rs
index 065c8b5..e1352be 100644
--- a/src/subprotocols/sumcheck/time_prover.rs
+++ b/src/subprotocols/sumcheck/time_prover.rs
@@ -186,6 +186,6 @@ fn test_trivial_prover() {
     assert_eq!(prover.f.len(), 1);
     // assert_eq!(prover.f.len()[0], prover.f[0]+ r * prover.f[1]));
 
-    // an subsequent call to the next-message function should return None.
+    // a subsequent call to the next-message function should return None.
     assert!(prover.next_message(None).is_none());
 }

From caf933114684b2aacb8ab4298682136e20a6f03a Mon Sep 17 00:00:00 2001
From: Tristav <124001124+Pricstas@users.noreply.github.com>
Date: Wed, 18 Dec 2024 14:03:40 +0100
Subject: [PATCH 2/2] typos mod.rs

---
 src/subprotocols/tensorcheck/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/subprotocols/tensorcheck/mod.rs b/src/subprotocols/tensorcheck/mod.rs
index 503a346..291388c 100644
--- a/src/subprotocols/tensorcheck/mod.rs
+++ b/src/subprotocols/tensorcheck/mod.rs
@@ -36,7 +36,7 @@
 //! f(x_0, \dots, x_n) \mapsto f(x, x^2, \dots, x^{2^{n-1}})
 //! $
 //! we are effectively
-//! reducing a multivariate evaluation proof to an univariate tensorcheck.
+//! reducing a multivariate evaluation proof to a univariate tensorcheck.
 //!
 use ark_ec::pairing::Pairing;
 use ark_ff::{Field, AdditiveGroup};