| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | PointFOrmats,EdDSA: remove redundant axioms |  Andres Erbsen | 2016-01-16 |
| * | fix merge conflicts + PointFormats proofs |  Robert Sloan | 2016-01-14 |
| |\ | |||
| * | | assumption lemmas in PointFormats | Rob Sloan | 2016-01-11 |
| * | | simple refactor of makefile; comments |  varomodt | 2016-01-09 |
| | * | cleanup | Andres Erbsen | 2016-01-08 |
| |/ | |||
| * | PointFormats/EdDSA: scoping tweaks in PointFormats, small changes of phrasing... |  Jade Philipoom | 2016-01-05 |
| * | PointFormats: all Edwards25519 points are onCurve | Andres Erbsen | 2015-12-15 |
| * | Rewrote PointFormats to be parameterized by modulus; reformatting of EdDSA. | Jade Philipoom | 2015-12-09 |
| * | fix the makefile to not rebuild + module renaming | Robert Sloan | 2015-10-22 |
| * | 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 |