]> git.codecow.com Git - Monocypher.git/commit
projects / Monocypher.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06dc2f3) | patch
More auditable code for Poly1305
authorLoup Vaillant <loup@loup-vaillant.fr>
Tue, 6 Mar 2018 22:34:24 +0000 (23:34 +0100)
committerLoup Vaillant <loup@loup-vaillant.fr>
Tue, 6 Mar 2018 22:34:24 +0000 (23:34 +0100)
commit3a13feb8d0e046f716b8455c9c898c3d86eb01c0
tree40e0d4c4869df84926d227e105addea9a8578fc4tree | snapshot
parent06dc2f3fd452f5d62cf4f318ab23945fbd0d61a4commit | diff
More auditable code for Poly1305

The invariants in the comments have been updated, and a couple minor
errors of no consequence were corrected.

The final reduction code of crypto_poly1305_final() has been modified to
facilitate audits and formal proofs.  This was motivated by the
following semi-formal proof:

  https://monocypher.org/poly1305-proof
src/monocypher.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.