diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-29 15:44:32 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-04-29 15:44:32 -0400 |
| commit | 44c3f52e7d431b4aa5de8e8679155ea2bed9d31c (patch) | |
| tree | ac449afbdfa9f6bf2e387f15f3e5dcab41d8d0c5 | |
| parent | f932c72dc669d4ae8e152f6a117a03c25e6dbabd (diff) | |
| parent | bace50d019a0d67406f2762b68b0aab12394a3b7 (diff) | |
Merge branch 'master' of github.mit.edu:plv/fiat-crypto
| -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 541bc646d..46d28f6dd 100644 --- a/to_gallina.md +++ b/to_gallina.md @@ -5,5 +5,4 @@ Remaining work needed for Gallina verification code + efficient GF inverse + make EdDSA point addition use ModularBaseSystem + represent scalars (Fl) in ModularBaseSystem (large c) -+ negation of elliptic curve points + canonical representations of field elements |