Constant-time checking in CI

dalek-cryptography / curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

Other

867 stars 439 forks source link

Constant-time checking in CI #214

Open hdevalence opened 5 years ago

hdevalence commented 5 years ago

It would be cool to have checking for basic constant-time properties in CI. @saleemrashid has done some experiments, described here: https://github.com/dalek-cryptography/subtle/pull/22#issuecomment-441471356

greyspectrum commented 4 years ago

I have some experience with Valgrind and would be willing to work on this. Is this still a priority?

isislovecruft commented 4 years ago

@greyspectrum Hi! Yes, we'd be happy to have your help.

brycx commented 4 years ago

FWIW I have some CI tests for constant-time comparison here (the test linked is PartialEq utilizing subtle's ct_eq). Perhaps these could be changed to be used with curve25519-dalek.