Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Update redc algorithm | 2017-06-10 | ||
* | Update word-by-word montgomery with ctx vars | 2017-06-10 | ||
* | Finish proving loop invariant for wbw redc | 2017-06-09 | ||
* | Make it clear that the combined definition/proof file is a work in progress | 2017-06-09 | ||
* | Admit-free proof of cS3_mod_N | 2017-06-09 | ||
* | Fix open sections error | 2017-06-09 | ||
* | More WIP on bounds for redc | 2017-06-09 | ||
* | Minor progress on bounds | 2017-06-09 | ||
* | Add pair-programmed wbw montgomery | 2017-06-09 | ||
* | 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 | ||
* | rename-everything | 2017-04-06 |