From a6b34d5527df0d1b7a8f5076c157c457b92317d9 Mon Sep 17 00:00:00 2001 From: Elias Rad <146735585+nnsW3@users.noreply.github.com> Date: Fri, 23 Aug 2024 13:52:46 +0300 Subject: [PATCH 1/3] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 256374e..d6bd552 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@

-[Gemini](https://ia.cr/2022/420) is elastic proof system system, FFT-free, blazingly fast and space-conscious. +[Gemini](https://ia.cr/2022/420) is elastic proof system, FFT-free, blazingly fast and space-conscious. **This code is **not** meant for production use and has not been audited.** @@ -40,7 +40,7 @@ It is also possible to run a purely-linear time prover with the additional optio ## Elasticity -Space footprint for the prover can be tweaked playing with the following constants: +Space footprint for the prover can be tweaked by playing with the following constants: - `TENSOR_EXPANSION_LOG` (set to 16) which sets the space budget for expanding the tensor products; - `MAX_MSM_BUFFER_LOG` (set to 20) the size of the buffers over which Gemini performs multi-scalar multiplication; - `SPACE_TIME_THRESHOLD` (set to 22) the threshold for converting the space-prover into the time-prover. From 666441414b79fb27696f15571728813053a4546d Mon Sep 17 00:00:00 2001 From: Elias Rad <146735585+nnsW3@users.noreply.github.com> Date: Fri, 23 Aug 2024 13:54:41 +0300 Subject: [PATCH 2/3] Update proof.rs --- src/herring/proof.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/herring/proof.rs b/src/herring/proof.rs index 2b156d6..a6253ce 100644 --- a/src/herring/proof.rs +++ b/src/herring/proof.rs @@ -19,9 +19,9 @@ use super::TimeProver; /// A scalar product proof, containing non-oracle messages, and oracle messages together with their queries and evaluations. #[derive(Debug, PartialEq, Eq)] pub struct Sumcheck { - /// The non-oracle messages sent througout the protocol. + /// The non-oracle messages sent throughout the protocol. pub messages: Vec>, - /// The challenges sent thropughout the protocol. + /// The challenges sent throughout the protocol. pub challenges: Vec, /// The number of rounds in the protocol. pub(crate) rounds: usize, From e7aa276e01eb483445cf1fd1d2b516e3ce1424f9 Mon Sep 17 00:00:00 2001 From: Elias Rad <146735585+nnsW3@users.noreply.github.com> Date: Fri, 23 Aug 2024 13:56:05 +0300 Subject: [PATCH 3/3] Update streams.rs --- src/herring/streams.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/herring/streams.rs b/src/herring/streams.rs index 4fc3d58..db5ae61 100644 --- a/src/herring/streams.rs +++ b/src/herring/streams.rs @@ -148,14 +148,14 @@ where } } -/// Stream implementation of foleded polynomial. +/// Stream implementation of folded polynomial. #[derive(Clone, Copy)] pub struct FoldedPolynomialStream<'a, F, S>(FoldedPolynomialTree<'a, F, S>, usize) where S: Iterable, F: AdditiveGroup, S::Item: Borrow; -/// Iterator implementation of foleded polynomial. +/// Iterator implementation of folded polynomial. pub struct FoldedPolynomialStreamIter<'a, F, I> where I: Iterator,