From fe65d254b0864e66f583d0e7b20d2769b0d64109 Mon Sep 17 00:00:00 2001 From: jadep Date: Mon, 9 May 2016 20:18:46 -0400 Subject: removed subtraction from todo --- 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 46d28f6dd..1ac5075ef 100644 --- a/to_gallina.md +++ b/to_gallina.md @@ -1,6 +1,5 @@ Remaining work needed for Gallina verification code --------------------------------------------------- -+ GF subtraction + efficient GF exponentiation + efficient GF inverse + make EdDSA point addition use ModularBaseSystem -- cgit v1.2.3