Open hdevalence opened 6 years ago
The website has test vectors, but they're incorrect (there was a bug in the script that generated them).
The test vectors should ensure that all the edge cases of the hash-to-group operation are exercised, which requires writing down how that operation works (#15, #25)
from_uniform_bytes
that test the edge cases around stuff like high bits, how the reduction mod p works, etc.
The test vectors section of the website should be filled in.
The website has sections for both the
ristretto255
andristretto448
parameters.For now I think it's fine just to add test vectors for
ristretto255
and notristretto448
, since Decaf also works for Ed448, so there's not really a good reason to use Ristretto there.Since
mdbook
allows rustdoc tests, we can make the test vectors executable using thecurve25519-dalek
reference implementation.