kimchi::circuits::polynomials::turshi

Function circuit_gate_combined_constraints

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

Combines the constraints for the Cairo gates depending on its type

ยงPanics

Will panic if the typ is not Cairo-related gate type or zero gate type.