Function halo2_ecc::bigint::big_is_zero::positive

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

Assumptions

  • a has nonzero number of limbs
  • The limbs of a are all in [0, 2a.max_limb_bits)
  • a.limbs.len() * 2a.max_limb_bits is less than modulus ofF`