halo2_ecc::bigint

Module big_is_zero

Source

Functionsยง

  • assign
    Given ProperUint<F> a, returns 1 iff every limb of a is zero. Returns 0 otherwise.
  • crt
    Returns 0 or 1. Returns 1 iff the limbs of a are identically zero. This just calls assign on the limbs.
  • positive
    Assumptions