diff options
author | Jade Philipoom <jadep@mit.edu> | 2016-02-07 12:56:03 -0500 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:38:54 -0400 |
commit | 2fc6795648fb11ed5e5bd50f473ef477432c5365 (patch) | |
tree | 62c92c3b079d9e42b68be4473257f229b5fcbd5b /.gitignore | |
parent | d3ffb9c9af7dcba46aaeb5a6cd3da5543165e432 (diff) |
EdDSA25519 : wrote and proved optimized PointEncoding, which encodes y and the sign bit of x, then solves the curve equation for x ^ 2. Required adding several lemmas to GaloisField (and moving others there from PointFormats).
recursive-build coqprime
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions