| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Small PointFormats tweaks while reading through |  Adam Chlipala | 2015-10-12 | |
| * | comment out edwards<->montgomery conversion |  Andres Erbsen | 2015-10-08 | |
| * | refactor point formats to use modules and prove some lemmas | Andres Erbsen | 2015-10-07 | |
| * | in case of not-on-curve points, extended coordinate addition and twisted coor... | Andres Erbsen | 2015-09-21 | |
| * | montgomery ladder definition | Andres Erbsen | 2015-09-21 | |
| * | make ring decidable + define constants |  Robert Sloan | 2015-09-19 | |
| * | Curves: elliptic curve point format record declarations and some invariants | Andres Erbsen | 2015-09-18 | |
| * | fix module structure + add assembly placeholder |  Robert Sloan | 2015-09-17 | |
| * | redo module structure + init curve25519 | Robert Sloan | 2015-09-16 | |
| * | init our centralized repo |  Robert Sloan | 2015-09-10 | |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |