| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Support for 128-bit words |  Jason Gross | 2016-11-14 |
| * | extraction: inline field operations into group operations |  Andres Erbsen | 2016-11-14 |
| * | Proper_sqrt | Andres Erbsen | 2016-11-13 |
| * | extraction less slow | Andres Erbsen | 2016-11-11 |
| * | Rewrite cast_word so that it's extracted better | Jason Gross | 2016-11-09 |
| * | implement X25519 | Andres Erbsen | 2016-11-06 |
| * | fix extraction directives -- tested enc((l+1)B)=enc(B) | Andres Erbsen | 2016-11-03 |
| * | separate Ed25519Extraction.v, add extraction to Makefile | Andres Erbsen | 2016-11-03 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |