binius_
circuits
0.2.0
Module byte_
sliced_
test_
utils
Module Items
Functions
In binius_
circuits::
lasso::
big_
integer_
ops
binius_circuits
::
lasso
::
big_integer_ops
Module
byte_sliced_test_utils
Copy item path
Source
Functions
ยง
random_
u512
test_
bytesliced_
add
test_
bytesliced_
add_
carryfree
test_
bytesliced_
double_
conditional_
increment
test_
bytesliced_
modular_
mul
test_
bytesliced_
mul