diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2015-12-15 18:47:55 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2015-12-15 18:47:55 -0500 |
| commit | 13c4509d4fc43a56284ad592e9f893692b86a062 (patch) | |
| tree | f57993011a63e5aa4fe3d6f35882ff6dd5cae829 /src/Curves/ScalarMult.v | |
| parent | 2d8546f6fdae44b2579070ea166a0f8647cfa42d (diff) | |
PointFormats: all Edwards25519 points are onCurve
Diffstat (limited to 'src/Curves/ScalarMult.v')
0 files changed, 0 insertions, 0 deletions