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

Feat/smaller than constraints #53

Merged
merged 4 commits into from
Jul 15, 2024
Merged

Conversation

taskooh
Copy link
Member

@taskooh taskooh commented Jun 27, 2024

Add Smaller Than Constraints

@taskooh taskooh force-pushed the feat/smaller-than-constraints branch from 91e05e7 to 2598f11 Compare June 27, 2024 12:31
@taskooh taskooh force-pushed the feat/smaller-than-constraints branch 2 times, most recently from 8f9dadb to 0258423 Compare July 15, 2024 02:50
@taskooh taskooh force-pushed the feat/smaller-than-constraints branch from 0258423 to 6c41a94 Compare July 15, 2024 02:52
@taskooh taskooh requested a review from sheagrief July 15, 2024 05:41
@taskooh taskooh marked this pull request as ready for review July 15, 2024 05:41
}
};

// bits to field elemetn (little endian)
Copy link
Collaborator

Choose a reason for hiding this comment

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

typo

src/circuits/smaller_than.rs Show resolved Hide resolved
src/circuits/smaller_than.rs Show resolved Hide resolved
src/marlin.rs Show resolved Hide resolved
@sheagrief
Copy link
Collaborator

LGTM!

@sheagrief sheagrief merged commit 9b51215 into main Jul 15, 2024
7 checks passed
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