| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Derive EdDSA.verify from equational specification |  Andres Erbsen | 2016-09-16 |
| * | remove eq_dec from Monoid | Andres Erbsen | 2016-08-23 |
| * | [F] has its own module now | Andres Erbsen | 2016-08-05 |
| * | address code review comments | Andres Erbsen | 2016-08-04 |
| * | Refactor ModularArithmetic into Zmod, expand Decidable | Andres Erbsen | 2016-08-04 |
| * | ed25519 spec: small cleanup | Andres Erbsen | 2016-07-21 |
| * | compute on [F q]! | Andres Erbsen | 2016-07-20 |
| * | experiments wd25519: simplify proof for a | Andres Erbsen | 2016-07-20 |
| * | Remove a nested proof |  Jason Gross | 2016-07-18 |
| * | EdDSA: prove things about spec | Andres Erbsen | 2016-06-25 |
| * | Remove anything incompatible with new algebraic hierarcy | Andres Erbsen | 2016-06-20 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |