Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Specific/GF25519: Updated to match new PseudoMersenneBaseParams spec. | 2015-11-24 | |
* | ModularBaseSystem: relocated base_succ to PsuedoMersenneBaseParams, proved ca... | 2015-11-20 | |
* | BaseSystem: added encode definition, included b0_1 precondition in BaseCoefs ... | 2015-11-10 | |
* | ModularBaseSystem: finish base_good | 2015-11-07 | |
* | ModularBaseSystem: prove some admits in mase system extension | 2015-11-07 | |
* | Specific: PseudoMersenneBaseParams for GF25519Base25Point5. | 2015-11-06 | |
* | instantiate BaseSystem using base 2^ceil(25.5i) representation of GF(2^255-19) | 2015-11-06 | |
* | src/Specific/GF25519.v: more complicated example for BaseSystem | 2015-11-05 |