diff options
author | jadep <jadep@mit.edu> | 2016-04-22 15:33:34 -0400 |
---|---|---|
committer | jadep <jadep@mit.edu> | 2016-04-22 15:33:34 -0400 |
commit | b9c8f539cf3e9f9fdcd6861ef9691fe079bcd321 (patch) | |
tree | 646f7a46e72e3fe508b12025b7a2456c0b91687d /to_gallina.md | |
parent | 2b43845eabdb5522162d52a86ecf6dfaf6dbc847 (diff) |
Update to_gallina.md
Diffstat (limited to 'to_gallina.md')
-rw-r--r-- | to_gallina.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/to_gallina.md b/to_gallina.md index 812d9fd88..541bc646d 100644 --- a/to_gallina.md +++ b/to_gallina.md @@ -5,6 +5,5 @@ Remaining work needed for Gallina verification code + efficient GF inverse + make EdDSA point addition use ModularBaseSystem + represent scalars (Fl) in ModularBaseSystem (large c) -+ elliptic curve decidable equality + negation of elliptic curve points + canonical representations of field elements |