[curves] new 25519 measurements of formally verified implementations

Armando Faz Hernández armfazh at ic.unicamp.br
Wed Jan 31 12:36:24 PST 2018

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.

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

More information about the Curves mailing list