index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Curves
/
Montgomery
Commit message (
Expand
)
Author
Age
*
Import prim token notations before using them
Jason Gross
2018-08-24
*
Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil
Jason Gross
2018-08-23
*
Compatibility after Coq PR#262.
Hugo Herbelin
2018-05-14
*
move Loops from Experiments to Util
Andres Erbsen
2018-03-27
*
cleanup2
Andres Erbsen
2018-03-27
*
Combine the zero and non-zero cases together.
David Benjamin
2018-01-15
*
Prove montladder correct in the zero case.
David Benjamin
2018-01-08
*
restore fastpath logic in Curves.Montgomery.XZProofs
Andres Erbsen
2017-12-22
*
prove montgomery ladder for non-zero inputs
Andres Erbsen
2017-12-22
*
Montgomery.XZ, Loops: montladder proof scaffolding
Andres Erbsen
2017-12-22
*
specialized destruct_head'_* in src/Curves/Montgomery/XZProofs.v
Andres Erbsen
2017-12-22
*
expose missing proof in src/Curves/Montgomery/XZProofs.v
Andres Erbsen
2017-12-22
*
clean up src/Curves/Montgomery/XZProofs.v
Andres Erbsen
2017-12-22
*
Curves.Montgomery.XZ: add+check boringssl ladderstep (#278)
Andres Erbsen
2017-12-05
*
Don't rely on autogenerated names
Jason Gross
2017-06-05
*
Strip trailing whitespace
Jason Gross
2017-06-02
*
use ladderstep from donna (2% faster?)
Andres Erbsen
2017-05-15
*
Prove relationship between `xzladderstep` and M.add (#162)
Andres Erbsen
2017-04-28
*
Respond to code review comments
Jason Gross
2017-04-17
*
Use the for-loop notation in Montgomery.XZ
Jason Gross
2017-04-17
*
lemmas about ladderstep on zero
Andres Erbsen
2017-04-14
*
stronger ladderstep correctness proof courtesy Teo
Andres Erbsen
2017-04-14
*
rename-everything
Andres Erbsen
2017-04-06