-
Notifications
You must be signed in to change notification settings - Fork 116
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
Plonk implementation with updates to Algebra #44
Conversation
This commits the Plonk implementation for review
… polynomial computation
Hi, is this standard plonk or turboPlonk? Implementing turboplonk in it's most general form requires ripping out the foundations of the circuit builder, I think. |
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.
I skimmed through it and gave some comments
@@ -0,0 +1,173 @@ | |||
/***************************************************************************************************************** |
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.
What about using //! comments so the docs will be nicer?
let r = | ||
{ | ||
let mut r = domain.sample_element_outside_domain(&mut OsRng); | ||
while r.legendre().is_qnr() == false {r = domain.sample_element_outside_domain(&mut OsRng)} |
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.
It might be better to pass down an implementer of an Rng trait rather than using OsRng directly.
|
||
impl<G: CommitmentCurve> ProverProof<G> | ||
{ | ||
// This function verifies the batch of zk-proofs |
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.
/// style comments look nicer in docs
@@ -38,7 +38,7 @@ type Fr = <Affine as AffineCurve>::ScalarField; | |||
const MAX_SIZE: usize = 8; | |||
|
|||
#[test] | |||
fn group_addition_dlog() | |||
fn dlog_marlin_group_addition() | |||
{ | |||
let rng = &mut OsRng; |
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.
Same comment as rng before
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.
Many thanks for the suggestions..!
Stale pull request message |
This commits the Plonk implementation for review.
This PR is for the review of Plonk implementation that has the following: