diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-11-15 15:46:47 -0500 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-11-15 15:46:50 -0500 |
commit | 31d577c84f2b987ac040565b7a2dd392a58e851a (patch) | |
tree | e5c00770d43bfdfe717a1c13b8247bbf6df48163 /to_gallina.md | |
parent | 2154c74008463d0feca631bc9345cb4e140ae664 (diff) |
remove outdated files: roadmap and to_gallina
Diffstat (limited to 'to_gallina.md')
-rw-r--r-- | to_gallina.md | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/to_gallina.md b/to_gallina.md deleted file mode 100644 index 1ac5075ef..000000000 --- a/to_gallina.md +++ /dev/null @@ -1,7 +0,0 @@ -Remaining work needed for Gallina verification code ---------------------------------------------------- -+ efficient GF exponentiation -+ efficient GF inverse -+ make EdDSA point addition use ModularBaseSystem -+ represent scalars (Fl) in ModularBaseSystem (large c) -+ canonical representations of field elements |