Closed conradoplg closed 1 year ago
Closes #30 by simply removing the asserts.
I tried to expand the comment in scalar.rs to justify why borrow would never be 1, but got stuck at trying to find a case where carry would be 1 in the first place... So I just gave up on that for now.
scalar.rs
carry
Closes #30 by simply removing the asserts.
I tried to expand the comment in
scalar.rs
to justify why borrow would never be 1, but got stuck at trying to find a case wherecarry
would be 1 in the first place... So I just gave up on that for now.