-
Notifications
You must be signed in to change notification settings - Fork 2
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.
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
Implement FRI Prover #20
Implement FRI Prover #20
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not a lot of comments from me. Looks good!
channel: &mut FSProverChannel<F, P, W>, | ||
layer: Arc<dyn FriLayer<F, Radix2EvaluationDomain<F>>>, | ||
fri_step: usize, | ||
_i: usize, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Remove the _i
argument?
let mut new_row = Vec::with_capacity(row.len()); | ||
for element in row.iter() { | ||
new_row.push(*element * mont_r); | ||
} | ||
result.push(new_row); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
result.push(row.iter().cloned().map(|e| e * mont_r).collect())
Closing this PR since #24 is merged. |
Implements FRI prover and correctness tests corresponding to the following Stone library:
https://github.com/starkware-libs/stone-prover/tree/main/src/starkware/fri
This PR has dependence on #18 and #19.