[curves] new 25519 measurements of formally verified implementations

[Armando Faz Hernández]

Quoting curves-request at moderncrypto.org:

> Message: 1
> Date: Wed, 31 Jan 2018 16:37:12 +0100
> From: "Jason A. Donenfeld" <Jason at zx2c4.com>
> To: curves <curves at moderncrypto.org>
>
> I've loaded in fiat64 into the latest kbench curve testing branch, and
> it seems to be the fastest generic C version, at least on my Skylake
> laptop, inching out slightly in front of hacl64:
>

Hi Jason,

It would be interesting to see your benchmarks
using code in [1] derived from our SAC2017 paper [2].

[1] https://github.com/armfazh/rfc7748_precomputed
[2] How to (pre-)compute a ladder, SAC.
     https://doi.org/10.1007/978-3-319-72565-9_9







--
Armando Faz Hernández, PhD Candidate.
Instituto de Computação, Unicamp.
Campinas, Brasil.