Expand description
Field-native less than comparison gadget with a lookup table Less-Than Gadget
Given two values:
- a
, a NUM_OF_BITS-length value and
- b
, an arbitrary field element,
this gadget constrains them in the following way:
- in strict
mode, a
is constrained to be strictly less than b
;
- else, a
is constrained to be less than or equal to b
.