Module darkfi::zk::gadget

source ·
Expand description

ZK gadget implementations


  • Base field arithmetic gadget
  • Conditional selection
  • is_equal comparison gadget
  • is_zero comparison gadget
  • Field-native less than comparison gadget with a lookup table 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.
  • Field-native range check gadget with a lookup table
  • Small range check, 0..8 bits
  • Poseidon-based sparse Merkle tree chip
  • Conditional selection based on lhs (will output lhs if lhs==0, otherwise rhs)