| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Split up proof in BarrettReduction.Z |  Jason Gross | 2016-07-21 |
| | | | | | | | In particular, we do equality reasoning in one place and inequality reasoning in another. This makes it very clear how the inequality reasoning follows from the equality reasoning. | ||
| * | Implement and prove Barrett reduction on Z (#18) |  Jason Gross | 2016-07-03 |
| Implement and prove Barrett reduction on Z This will serve as the high-level algorithm for modular reduction. We follow Wikipedia very closely, except where we can do better (I believe @jadephilipoom is updating Wikipedia). | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |