Module kimchi::circuits::polynomials::range_check::gadget

Range check gate

Constants

• GATE_COUNT

Functions

• circuit_gate_constraint_count
  Number of constraints for a given range check circuit gate type
• circuit_gate_constraints
  Get combined constraints for a given range check circuit gate type
• circuit_gates
  Get vector of range check circuit gate types
• combined_constraints
  Get the combined constraints for all range check circuit gate types
• lookup_table
  Get the range check lookup table