-
Notifications
You must be signed in to change notification settings - Fork 187
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
Feat/compact polys #561
base: main
Are you sure you want to change the base?
Feat/compact polys #561
Conversation
3b03d67
to
36ed25c
Compare
Large(usize), | ||
} | ||
|
||
impl MsmType { |
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 thought having this around made it easier to read/maintain.
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 removed it because it gets weird with CompactPolynomial
–– the Medium
size straddles the u8
and u16
size
4993457
to
08a2e79
Compare
b20cc1e
to
8bca301
Compare
8bca301
to
c691c63
Compare
fn batch_prove( | ||
setup: &Self::Setup, | ||
polynomials: &[&DensePolynomial<Self::Field>], | ||
opening_point: &[Self::Field], | ||
openings: &[Self::Field], | ||
batch_type: BatchType, | ||
transcript: &mut ProofTranscript, | ||
) -> Self::BatchedProof; |
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.
Deleting batch_prove
and batch_verify
from trait because we now use the batched opening proof protocol in opening_proof.rs
instead
No description provided.