Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ModularArithmetic: [field] tactic that respects opacity, prettify ExtendedCoo... | 2016-02-28 | |
* | moved some theorems requiring q mod 8 = 5 precondition to PointEncoding from ... | 2016-02-16 | |
* | cleaned up and ported definition to solve for x ^ 2 in the curve equation | 2016-02-16 | |
* | remove Check | 2016-02-15 | |
* | ported some of EdDSA25519 to new field framework | 2016-02-15 | |
* | EdDSA spec ported over to new field implementation | 2016-02-13 | |
* | document field issue re-appearing | 2016-02-12 | |
* | port some edwards curve theorems | 2016-02-12 |