binius_
circuits
0.2.0
Module u8_
arithmetic
Module Items
Functions
In binius_
circuits::
lasso::
lookups
binius_circuits
::
lasso
::
lookups
Module
u8_arithmetic
Copy item path
Source
Functions
ยง
add_
carryfree_
lookup
add_
lookup
dci_
lookup
mul_
lookup