They need to correspond with the header checked by cargo-dusk-analyzer.

This will allow us to reduce the code complexity from other libraries that use gadgets such as the blindbid library.

• Port single_complex_rangeproof from blindbidlib to here.

The decomposition gadget for RC is currently being done in PLONK. However, it can be implemented in this repo by accessing the allocated scalars

The change in BLS repo has caused rusk and plonk gadgets to fail. This needs to be changed.

At some point we should add these cosmetics to the crate/repo.

If we don't constrain the boolean output of the rangeproof. It should always pass. But this is not the case, and I tested that thanks to @kevaundray 's suggestions this morning.

Therefore, considering this, and that @kevaundray did a really nice commit with the same code but more readable and mantainable.
I think we should migrate to his code when working with this. This issue then, will be closed as soon as we merge @kevaundray 's version of the rangeproof gadget.

The Encryption gadget has now been chosen to utilise the El Gamal encryption scheme. This needs to be added to the gadgets so they can be used in the token contract circuits.

We actually have the method single_complex_rangeproof which has been ported from dusk-blindbid in #12

This gadget works fine and it's tested. The problem is that it is only intended to work to prove that: witness < max_range (not a pow of 2).

But we also need to check sometimes the reverse operation, so: witness > min_range(not a pow of 2). And we cannot use the previous method for this.

Therefore, we need to implement a new gadget that works on that way and decomposes the witness also.

This will help in order to close dusk-network/dusk-blindbid#21

We will need some basic BLS12_381 Fr / JubJub Fq in order to be able to built the tools required by #3 listed in #4 .

• Implement is_non_zero gadget

• Implement conditionally_selection gadget

• Test is_non_zero gadget

• Test conditionally_selection gadgets

This is intended to set this repo inline with the actual status of plonk.
And have it as a container for all of the gadgets we use within the dusk_network protocol.

Following the changes to the BLS Repo, the version needs to be changed for release.

This is the list of gadgets that we need to implement & test in order to implement #3 :

• Implement Point addition gadget

• Implement Point doubling gadget

• Implement Point equalty gadget

• Implement Curve Eq satisfaction gadget

• Implement Scalar mul gadget

• Implement ConditionallySelect gadget

• Test Point addition gadget

• Test Point doubling gadget

• Test Point equalty gadget

• Test Curve Eq satisfaction gadget

• Test Scalar mul gadget

• Test ConditionallySelect gadget

Currently the gadgets rely upon a very outdated version of plonk. Which we no longer use. This needs to be changed for the whole dependency refactor.

This is tied to issue 47 on the phoenix repo, where we need to refactor types across the github.