Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docs fix spelling issues #13

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
+6 −6
Open

Docs fix spelling issues #13

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
a6b34d5
Update README.md
nnsW3 Aug 23, 2024
6664414
Update proof.rs
nnsW3 Aug 23, 2024
e7aa276
Update streams.rs
nnsW3 Aug 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
</p>


[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.**


Expand Down Expand Up @@ -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.
Expand Down
4 changes: 2 additions & 2 deletions src/herring/proof.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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<M: BilinearModule> {
/// The non-oracle messages sent througout the protocol.
/// The non-oracle messages sent throughout the protocol.
pub messages: Vec<SumcheckMsg<M::Target>>,
/// The challenges sent thropughout the protocol.
/// The challenges sent throughout the protocol.
pub challenges: Vec<M::ScalarField>,
/// The number of rounds in the protocol.
pub(crate) rounds: usize,
Expand Down
4 changes: 2 additions & 2 deletions src/herring/streams.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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<F>;
/// Iterator implementation of foleded polynomial.
/// Iterator implementation of folded polynomial.
pub struct FoldedPolynomialStreamIter<'a, F, I>
where
I: Iterator,
Expand Down