diff options
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 |