Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Clean up implementation | 2017-05-01 | |
* | Use columns rather than positional | 2017-05-01 | |
* | Use mod (weight (S i) / weight i), not mod (weight i) | 2017-05-01 | |
* | Initial stab at word-by-word montgomery | 2017-05-01 |
![]() |
index : fiat-crypto | |
fast, formally verified cryptography |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Clean up implementation | 2017-05-01 | |
* | Use columns rather than positional | 2017-05-01 | |
* | Use mod (weight (S i) / weight i), not mod (weight i) | 2017-05-01 | |
* | Initial stab at word-by-word montgomery | 2017-05-01 |