~mdw / catacomb / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d63fee) | patch
math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 9 Sep 2016 10:06:41 +0000 (11:06 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 9 Sep 2016 10:06:41 +0000 (11:06 +0100)
commitfa17e5dc48bf2961e5a99c83ed3d8018b329d037
tree11bee0a62321fd2a5dc508b525d1498c57923061tree | snapshot (tar.gz zip)
parent1d63fee4c2d8439564e34a8a2c92e6167ae8fb0bcommit | diff
math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.

Add commentary explaining how these reduction algorithms actually work,
with proofs.
math/mpbarrett.h diff | blob | blame | history
math/mpmont.h diff | blob | blame | history
Catacomb cryptographic library