Function kimchi::circuits::polynomials::range_check::gadget::circuit_gate_constraints

source · 
pub fn circuit_gate_constraints<F: PrimeField>(
    typ: GateType,
    alphas: &Alphas<F>,
    cache: &mut Cache
) -> E<F>
Expand description

Get combined constraints for a given range check circuit gate type

Panics

Will panic if typ is not RangeCheck-related gate type.