-
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
Feat/Switch Spartan Backend to Use Goldilocks Field (experiment) #46
base: matthias/format-like-ceno
Are you sure you want to change the base?
Feat/Switch Spartan Backend to Use Goldilocks Field (experiment) #46
Conversation
…-cyte Comment out non-existent binaries.
…at/goldilocks-spartan
…/feat/goldilocks-spartan
transcript: &mut Transcript, | ||
input: &[Self], | ||
) { | ||
transcript.append_message(label, b"begin_append_vector"); |
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.
Why do we need these messages?
/// Constant representing the modulus | ||
/// q = 2^64 - 2^32 + 1 | ||
/// 0xFFFFFFFF00000001 | ||
const P: u64 = 0xFFFF_FFFF_0000_0001; |
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.
Please take this from the Goldilocks crate.
} | ||
|
||
impl RandomTape { | ||
impl<S: SpartanExtensionField> RandomTape<S> { |
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.
If you name this variable Scalar
instead of S
the diff becomes a lot smaller and easier to review. (Similar in many other places as well.)
No description provided.