Module mul_no_carry
halo2_
ecc
0.5.0
Module mul_
no_
carry
Module Items
Functions
In halo2_
ecc::
bigint
halo2_ecc
::
bigint
Module
mul_
no_
carry
Copy item path
Source
Functions
ยง
crt
truncate
Assumptions