]> git.codecow.com Git - Monocypher.git/commit
Documented 2^255-19 carry propagation
authorLoup Vaillant <loup@loup-vaillant.fr>
Sun, 8 Nov 2020 21:41:58 +0000 (22:41 +0100)
committerLoup Vaillant <loup@loup-vaillant.fr>
Sun, 8 Nov 2020 21:41:58 +0000 (22:41 +0100)
commitd5d9c79b4c5c4085478357cbf2a8613f837cc436
treec0dcce1ceda289c875654ff71425b63d4c5d4a13
parent7801e61363cb34dfafa5c18f905fcf48eae097ea
Documented 2^255-19 carry propagation

Fixes #185

Carry propagation is now justified, in a way that I can personally vouch
for (I used to rely on SUPERCOP's ref10 code and proofs).

The use of arithmetic right shifts is also documented, and a workaround
has been devised in case someone somewhere uses a platforms that does
not perform sign extension. (That will never happen.)
src/monocypher.c