[curves] new 25519 measurements of formally verified implementations
Jason A. Donenfeld
Jason at zx2c4.com
Thu Feb 1 03:36:35 PST 2018
Sure, I'll have a look at this.
I've also found https://github.com/armfazh/hp-ecc-vec . Is this the
code related to your 2015 paper entitled, "Fast Implementation of
Curve25519 Using AVX2"? Or the presentation Dan mentioned a few posts
up? Or both at once?
Also, would you consider relicensing these as GPLv2 so that they can
be used in the Linux kernel? (Alternatively, BSD/MIT/Public Domain for
More information about the Curves