Dedupe (Working) #37
Open
Dedupe (Working) #37
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sragss
reviewed
Mar 12, 2024
|
|
||
| let claim_inner_final_expected = (evals[0] + r * evals[1] + r * r * evals[2]) * eval_Z; | ||
| if claim_inner_final != claim_inner_final_expected { | ||
| // DEDUPE(arasuarun): add |
There was a problem hiding this comment.
Let's add a more specific error here and remove the comment
| }; | ||
|
|
||
|
|
||
| let evals = multi_evaluate_uniform(&[&vk.S_single.A, &vk.S_single.B, &vk.S_single.C], &r_x, &r_y, vk.num_steps); |
There was a problem hiding this comment.
This lambda does not get reused, let's remove the wrapper and add a comment instead.
src/spartan/upsnark.rs
Outdated
|
|
||
| // verify claim_inner_final | ||
| // this should be log (num segments) | ||
| let N_PREFIX = (vk.num_vars_total.trailing_zeros() as usize - vk.num_steps.trailing_zeros() as usize) + 1; |
| // constant term | ||
| let mut poly_X = vec![(0, 1.into())]; | ||
| //remaining inputs | ||
| poly_X.extend( |
| let claim_outer_final_expected = | ||
| taus_bound_rx * (claim_Az * claim_Bz - claim_Cz); | ||
| if claim_outer_final != claim_outer_final_expected { | ||
| return Err(SpartanError::InvalidSumcheckProof); |
There was a problem hiding this comment.
Use more specific error here
src/spartan/upsnark.rs
Outdated
| let poly_ABC = { | ||
| let NUM_STEPS_BITS = pk.num_steps.trailing_zeros(); | ||
| let (rx_con, rx_ts) = r_x.split_at(r_x.len() - NUM_STEPS_BITS as usize); | ||
| let eq_rx_con = EqPolynomial::new(rx_con.to_vec()).evals(); |
There was a problem hiding this comment.
Parallelize these eq.evals() calls
src/spartan/upsnark.rs
Outdated
| let eq_rx_con = EqPolynomial::new(rx_con.to_vec()).evals(); | ||
| let eq_rx_ts = EqPolynomial::new(rx_ts.to_vec()).evals(); | ||
|
|
||
| let N_STEPS = pk.num_steps; |
There was a problem hiding this comment.
nit: rm caps from non-constant
src/spartan/upsnark.rs
Outdated
|
|
||
| // this is the polynomial extended from the vector r_A * A(r_x, y) + r_B * B(r_x, y) + r_C * C(r_x, y) for all y | ||
| let poly_ABC = { | ||
| let NUM_STEPS_BITS = pk.num_steps.trailing_zeros(); |
There was a problem hiding this comment.
nit: rm caps from non-constant
src/spartan/upsnark.rs
Outdated
| // The number of prefix bits needed to identify a segment within the witness vector | ||
| // assuming that num_vars_total is a power of 2 and each segment has length num_steps, which is also a power of 2. | ||
| // The +1 is the first element used to separate the inputs and the witness. | ||
| let N_PREFIX = (pk.num_vars_total.trailing_zeros() as usize - pk.num_steps.trailing_zeros() as usize) + 1; |
There was a problem hiding this comment.
nit: rm caps from non-constant
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I don't think there will be too many changes for deduping on the Spartan side (mostly just on Jolt).