Module big_is_zero
halo2_
ecc
0.5.0
Module big_
is_
zero
Module Items
Functions
In halo2_
ecc::
bigint
halo2_ecc
::
bigint
Module
big_
is_
zero
Copy item path
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