Function assign

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

Given ProperUint<F> a, returns 1 iff every limb of a is zero. Returns 0 otherwise.

It is almost always more efficient to use positive instead.

Assumptions

• a has nonzero number of limbs