Skip to content
This repository has been archived by the owner on Nov 9, 2023. It is now read-only.

Review range gadgets that imply >= #21

Closed
CPerezz opened this issue Jun 23, 2020 · 2 comments
Closed

Review range gadgets that imply >= #21

CPerezz opened this issue Jun 23, 2020 · 2 comments
Assignees
Labels
area:cryptography anything related to cryptographic primitives, hashing and ZKP type:tech-debt the issue is a tech debt that needs fixing

Comments

@CPerezz
Copy link
Contributor

CPerezz commented Jun 23, 2020

Now we are twisting the inequation in order to use the implementation that we have for the <= case.

Probably, we should implement another (generic enough, but specific for that case) function that makes this range check and refactor the reminders added in #20.

See:

NOTE: There are two XXX reminders since some of the range checks should be reviewed with Dmitry since they will maybe need another gadget.

@CPerezz CPerezz added area:cryptography anything related to cryptographic primitives, hashing and ZKP type:question type:tech-debt the issue is a tech debt that needs fixing labels Jun 23, 2020
@CPerezz CPerezz self-assigned this Jun 23, 2020
@CPerezz
Copy link
Contributor Author

CPerezz commented Aug 17, 2020

Now that dusk-network/plonk_gadgets#13 was merged, we can do that while also apply the required changes by #43

@CPerezz
Copy link
Contributor Author

CPerezz commented Aug 21, 2020

Closed via: dusk-network/plonk_gadgets#17

@CPerezz CPerezz closed this as completed Aug 21, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area:cryptography anything related to cryptographic primitives, hashing and ZKP type:tech-debt the issue is a tech debt that needs fixing
Projects
None yet
Development

No branches or pull requests

1 participant