Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [F] has its own module now | 2016-08-05 | |
* | address code review comments | 2016-08-04 | |
* | Refactor ModularArithmetic into Zmod, expand Decidable | 2016-08-04 | |
* | ed25519 spec: small cleanup | 2016-07-21 | |
* | compute on [F q]! | 2016-07-20 | |
* | experiments wd25519: simplify proof for a | 2016-07-20 | |
* | Remove a nested proof | 2016-07-18 | |
* | EdDSA: prove things about spec | 2016-06-25 | |
* | Remove anything incompatible with new algebraic hierarcy | 2016-06-20 |