Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | refactor pointformats to use have a module type of correct implementations | 2015-10-22 | ||
|/ | ||||
* | pull changes from desktop | 2015-10-19 | ||
* | pull changes from desktop | 2015-10-19 | ||
* | Small PointFormats tweaks while reading through | 2015-10-12 | ||
* | comment out edwards<->montgomery conversion | 2015-10-08 | ||
* | refactor point formats to use modules and prove some lemmas | 2015-10-07 | ||
* | in case of not-on-curve points, extended coordinate addition and twisted coor... | 2015-09-21 | ||
* | montgomery ladder definition | 2015-09-21 | ||
* | make ring decidable + define constants | 2015-09-19 | ||
* | Curves: elliptic curve point format record declarations and some invariants | 2015-09-18 | ||
* | fix module structure + add assembly placeholder | 2015-09-17 | ||
* | redo module structure + init curve25519 | 2015-09-16 | ||
* | init our centralized repo | 2015-09-10 |