kimchi::circuits::polynomials::range_check

Module gadget

Expand description

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