aboutsummaryrefslogtreecommitdiff
path: root/src/Curves/Montgomery
Commit message (Expand)AuthorAge
* Import prim token notations before using themGravatar Jason Gross2018-08-24
* Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtilGravatar Jason Gross2018-08-23
* Compatibility after Coq PR#262.Gravatar Hugo Herbelin2018-05-14
* move Loops from Experiments to UtilGravatar Andres Erbsen2018-03-27
* cleanup2Gravatar Andres Erbsen2018-03-27
* Combine the zero and non-zero cases together.Gravatar David Benjamin2018-01-15
* Prove montladder correct in the zero case.Gravatar David Benjamin2018-01-08
* restore fastpath logic in Curves.Montgomery.XZProofsGravatar Andres Erbsen2017-12-22
* prove montgomery ladder for non-zero inputsGravatar Andres Erbsen2017-12-22
* Montgomery.XZ, Loops: montladder proof scaffoldingGravatar Andres Erbsen2017-12-22
* specialized destruct_head'_* in src/Curves/Montgomery/XZProofs.vGravatar Andres Erbsen2017-12-22
* expose missing proof in src/Curves/Montgomery/XZProofs.vGravatar Andres Erbsen2017-12-22
* clean up src/Curves/Montgomery/XZProofs.vGravatar Andres Erbsen2017-12-22
* Curves.Montgomery.XZ: add+check boringssl ladderstep (#278)Gravatar Andres Erbsen2017-12-05
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* Strip trailing whitespaceGravatar Jason Gross2017-06-02
* use ladderstep from donna (2% faster?)Gravatar Andres Erbsen2017-05-15
* Prove relationship between `xzladderstep` and M.add (#162)Gravatar Andres Erbsen2017-04-28
* Respond to code review commentsGravatar Jason Gross2017-04-17
* Use the for-loop notation in Montgomery.XZGravatar Jason Gross2017-04-17
* lemmas about ladderstep on zeroGravatar Andres Erbsen2017-04-14
* stronger ladderstep correctness proof courtesy TeoGravatar Andres Erbsen2017-04-14
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 21:52:17 +0000