-
Notifications
You must be signed in to change notification settings - Fork 0
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
Add fixed columns to uni-stark #1
base: main
Are you sure you want to change the base?
Conversation
7c5c621
to
7be9b38
Compare
95be45f
to
c281097
Compare
uni-stark/src/prover.rs
Outdated
let preprocessed = RowMajorMatrix::new( | ||
iter::empty() | ||
.chain(preprocessed_on_quotient_domain.iter().flat_map( | ||
|preprocessed_on_quotient_domain| { | ||
preprocessed_on_quotient_domain.vertically_packed_row(i_start) | ||
}, | ||
)) | ||
.chain(preprocessed_on_quotient_domain.iter().flat_map( | ||
|preprocessed_on_quotient_domain| { | ||
preprocessed_on_quotient_domain | ||
.vertically_packed_row(i_start + next_step) | ||
}, | ||
)) | ||
.collect_vec(), | ||
preprocessed_width, | ||
); |
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.
let preprocessed = RowMajorMatrix::new( | |
iter::empty() | |
.chain(preprocessed_on_quotient_domain.iter().flat_map( | |
|preprocessed_on_quotient_domain| { | |
preprocessed_on_quotient_domain.vertically_packed_row(i_start) | |
}, | |
)) | |
.chain(preprocessed_on_quotient_domain.iter().flat_map( | |
|preprocessed_on_quotient_domain| { | |
preprocessed_on_quotient_domain | |
.vertically_packed_row(i_start + next_step) | |
}, | |
)) | |
.collect_vec(), | |
preprocessed_width, | |
); | |
let preprocessed = RowMajorMatrix::new( | |
preprocessed_on_quotient_domain | |
.map(|on_quotient_domain| { | |
iter::empty() | |
.chain(on_quotient_domain.vertically_packed_row(i_start)) | |
.chain(on_quotient_domain.vertically_packed_row(i_start + next_step)) | |
.collect_vec() | |
}) | |
.unwrap_or_default(), | |
preprocessed_width, | |
); |
How about this?
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.
me gusta
config: &SC, | ||
verifying_key: Option<&StarkVerifyingKey<SC>>, | ||
air: &A, | ||
challenger: &mut SC::Challenger, |
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 think the challenger should observe the verification key as well!
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.
good point, I missed that!
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.
LGTM
No description provided.