Commit message (Expand) | Author | Age | |
---|---|---|---|
* | added proofs about addition chain exponentiation for later use in ModularBase... | 2016-07-10 | |
* | EdDSARefinement: work around rewrite_strat for 8.4 | 2016-06-28 | |
* | eddsa refinement setup | 2016-06-27 | |
* | scalarmult support; EdDSA.sign produces valid signatures | 2016-06-27 | |
* | first pass of scalarmult | 2016-06-27 | |
* | Fix for Coq 8.4 | 2016-06-25 | |
* | EdDSA: prove things about spec | 2016-06-25 |