-
Notifications
You must be signed in to change notification settings - Fork 193
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
Parallelize input layer generation #324
Parallelize input layer generation #324
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.
Looks good! Thank you! I left a couple more comments inline.
prover/src/logup_gkr/mod.rs
Outdated
batch[(i - row_offset) * num_fractions | ||
..(i - row_offset) * num_fractions + num_fractions] | ||
.copy_from_slice(&wires_from_trace_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.
nit: I'd probably declare a variable for (i - row_offset) * num_fractions
to improve readability. Something like:
let n = (i - row_offset) * num_fractions;
batch[n..n + num_fractions].copy_from_slice(&wires_from_trace_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.
Looks good! Thank you! Did the last change affect the runtime at all?
Also, let's create an issue for changing the evaluate_query()
interface
Nothing I could notice |
Leads to about to 20-25% improvement in input layer generation.