| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Move most notation level declarations into Util |  Jason Gross | 2016-07-27 |
| * | added proofs about addition chain exponentiation for later use in ModularBase... |  jadep | 2016-07-10 |
| * | EdDSARefinement: work around rewrite_strat for 8.4 |  Andres Erbsen | 2016-06-28 |
| * | eddsa refinement setup | Andres Erbsen | 2016-06-27 |
| * | scalarmult support; EdDSA.sign produces valid signatures | Andres Erbsen | 2016-06-27 |
| * | first pass of scalarmult | Andres Erbsen | 2016-06-27 |
| * | Fix for Coq 8.4 |  Jason Gross | 2016-06-25 |
| * | EdDSA: prove things about spec | Andres Erbsen | 2016-06-25 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |