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.

Sign up for GitHub

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

Jump to bottom

Use the new Bellpepper add gadget #819

Closed

huitseeker opened this issue Oct 31, 2023 · 1 comment · Fixed by #839

Assignees

Labels

good first issue help wanted

Contributor

huitseeker commented Oct 31, 2023 •

edited

Loading

Bellpepper added an addition gadget in lurk-lang/bellpepper#39
We should use it instead of our re-implementation in
https://github.com/lurk-lab/lurk-rs/blob/e0fab1e2e45f13ba7e4b91e9aa670ec9e9a7ae12/src/circuit/gadgets/constraints.rs#L77-L116

huitseeker added help wanted good first issue labels

Contributor

jobez commented Oct 31, 2023

i can work on this!

huitseeker assigned jobez

jobez mentioned this issue

Use the new Bellpepper add gadget #839

Merged

arthurpaulino closed this as completed in #839

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment