| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |