Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Derive EdDSA.verify from equational specification | Andres Erbsen | 2016-09-16 |
* | Instantiated twisted [d] using ModularBaseSystem | jadep | 2016-08-07 |
* | Experiments/SpecificCurve25519.v: curve25519 addition using small Z-s | Andres Erbsen | 2016-07-13 |