halo2_ecc::bigint

Module big_is_zero

Help

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