Skip to content
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

Init Binius #344

Merged
merged 26 commits into from
Jun 5, 2024
Merged

Init Binius #344

merged 26 commits into from
Jun 5, 2024

Conversation

sragss
Copy link
Collaborator

@sragss sragss commented May 4, 2024

  • Sets up the Binius fields
  • Moves Jolt field to src/field/mod.rs
  • Creates MockCommitmentScheme
  • Generalize rv32i_vm.rs – fib_e2e to support multiple fields
  • Implement Binius subtable tests
  • Fix lt and ltu subtables which had used 2 * x * y as a shortcut
  • Updates nightly version (Binius requires newer features)

@sragss sragss requested a review from moodlezoup May 6, 2024 23:11
@sragss sragss marked this pull request as ready for review May 6, 2024 23:21
Copy link
Collaborator

@moodlezoup moodlezoup left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looking good

jolt-core/benches/iai.rs Outdated Show resolved Hide resolved
@@ -100,11 +100,11 @@ impl<F: JoltField> CubicSumcheckParams<F> {
if *l == F::one() && *r == F::one() {
*eq
} else if *l == F::one() {
*r * eq
*r * *eq
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

we should make it so that you can perform arithmetic operations on &F values without dereferencing
https://stackoverflow.com/a/59547146

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Binius' fields don't implement these by reference so it's hard for us to do it with the same automatic method. #380

jolt-core/src/jolt/subtable/eq_msb.rs Outdated Show resolved Hide resolved
jolt-core/src/poly/commitment/mod.rs Outdated Show resolved Hide resolved
jolt-core/src/jolt/vm/rv32i_vm.rs Outdated Show resolved Hide resolved
jolt-core/src/poly/commitment/mock.rs Outdated Show resolved Hide resolved
jolt-core/src/poly/commitment/mock.rs Outdated Show resolved Hide resolved
jolt-core/src/field/binius.rs Outdated Show resolved Hide resolved
jolt-core/src/field/binius.rs Outdated Show resolved Hide resolved
@sragss
Copy link
Collaborator Author

sragss commented Jun 5, 2024

Fixes #343

@sragss sragss merged commit 5d73d97 into main Jun 5, 2024
3 checks passed
@sragss sragss deleted the sragss/binius branch June 5, 2024 22:20
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants