Function halo2_ecc::bigint::big_is_zero::assign

source · [−]
pub fn assign<F: ScalarField>(
    gate: &impl GateInstructions<F>,
    ctx: &mut Context<F>,
    a: ProperUint<F>
) -> AssignedValue<F>
Expand description

Given ProperUint 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