Commit Graph

6 Commits

Author SHA1 Message Date
1d8907539d Get back to basics, with some basic tests working. 2019-07-30 16:23:14 -07:00
fa872c951a Start experimenting with full generation of all of the numeric types.
Previously, we used a little bit of generation to drive a lot of Rust
macros. This works, but it's a little confusing to read and write. In
addition, we used a lot of implementations with variable timings based
on their input, which isn't great for crypto. This is the start of an
attempt to just generate all of the relevant Rust code directly, and to
use timing-channel resistant implementations for most of the routines.
2019-07-15 17:39:06 -07:00
60d7dd3af5 Add support for random numbers, and prime generation and testing. 2018-11-29 17:03:33 -08:00
de5ff87f9e Add some property testing, and fix a bug it found. 2018-11-06 21:53:47 -08:00
304d009a67 Now with tests for the basic algorithms. 2018-09-28 17:48:35 -05:00
3b68363b49 Initial commit! 2018-09-26 14:49:10 -05:00