diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-21 16:28:18 -0400 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:44:45 -0400 |
| commit | ed8f58127eff1c75a8ed0d857a95898e42302558 (patch) | |
| tree | 11b26aa2d7dbd72d12b02ea3b743ccbed44a208c /to_gallina.md | |
| parent | 9229ecf31f9da7d7f4939254654cc1c712354318 (diff) | |
wrote up remaining tasks needed for Gallina code (from board at 04/19 meeting)
Diffstat (limited to 'to_gallina.md')
| -rw-r--r-- | to_gallina.md | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/to_gallina.md b/to_gallina.md new file mode 100644 index 000000000..bf5ab8270 --- /dev/null +++ b/to_gallina.md @@ -0,0 +1,11 @@ +Remaining work needed for Gallina verification code +--------------------------------------------------- ++ GF subtraction ++ efficient GF exponentiation ++ efficient GF inverse ++ make EdDSA point addition use ModularBaseSystem ++ represent scalars (Fl) in ModularBaseSystem (large c) ++ elliptic curve decidable equality ++ associativity nonseroes ++ negation of elliptic curve points ++ canonical representations of field elements |