Module ark_r1cs_std::select [−][src]
This module describes traits for conditionally selecting a variable from a list of variables.
Traits
CondSelectGadget | Generates constraints for selecting between one of two values. |
ThreeBitCondNegLookupGadget | Uses three bits to perform a lookup into a table, where the last bit conditionally negates the looked-up value. |
TwoBitLookupGadget | Performs a lookup in a 4-element table using two bits. |