[curves] new 25519 measurements of formally verified implementations

Jason A. Donenfeld Jason at zx2c4.com
Thu Feb 1 03:36:35 PST 2018

Hi Armando,

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
everyone else?)


More information about the Curves mailing list