☰
Module big_is_zero
Functions
?
Module
halo2_ecc
::
bigint
::
big_is_zero
source
·
[
−
]
Functions
assign
Given ProperUint
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