search

nucypher / DarkIntegers.jl

A modulo arithmetic toolbox for integers and polynomials
https://nucypher.github.io/DarkIntegers.jl
GNU General Public License v3.0
7 stars 2 forks source link

Check the correctness of `_mul_sub_from_part()` #23

Open fjarri opened 4 years ago

fjarri commented 4 years ago

See the last line, x, c1 || c2. We're joining two carry bits there because it seems that they are never 1 at the same time, but that remains to be proven. Exhaustive tests seem to pass, though.