| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Support p256 / montgomery in json format |  Jason Gross | 2017-10-18 |
| * | Reorganize the curve-specific synthesis framework | Jason Gross | 2017-10-18 |
| * | Support curves with +2^... in them | Jason Gross | 2017-10-18 |
| * | Add default computation for goldilocks | Jason Gross | 2017-10-18 |
| * | Default carry chains in json files | Jason Gross | 2017-10-18 |
| * | Handle generating the correct c from 2^448-2^224-1 | Jason Gross | 2017-10-18 |
| * | Fold Karatsuba into json format and synthesis | Jason Gross | 2017-10-18 |
| * | Build curve-specific files from json | Jason Gross | 2017-10-18 |
| * | Generate C64 from python script and json | Jason Gross | 2017-10-18 |
| * | Reorgainze synthesis framework files into a Framework folder | Jason Gross | 2017-10-18 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |