From 30ef733d1a5820456d5e5aac774270b51a9c9dde Mon Sep 17 00:00:00 2001 From: jadep Date: Thu, 21 Apr 2016 18:48:02 -0400 Subject: finished last cases of nonzero proofs for associativity --- to_gallina.md | 1 - 1 file changed, 1 deletion(-) (limited to 'to_gallina.md') diff --git a/to_gallina.md b/to_gallina.md index bf5ab8270..812d9fd88 100644 --- a/to_gallina.md +++ b/to_gallina.md @@ -6,6 +6,5 @@ Remaining work needed for Gallina verification code + 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 -- cgit v1.2.3