Function crt

pub fn crt<F: ScalarField>(
    gate: &impl GateInstructions<F>,
    ctx: &mut Context<F>,
    a: ProperCrtUint<F>,
) -> AssignedValue<F>

Returns 0 or 1. Returns 1 iff the limbs of a are identically zero. This just calls assign on the limbs.

It is almost always more efficient to use positive instead.