aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Andres Erbsen <andreser@mit.edu>2015-12-15 20:53:49 -0500
committerGravatar Andres Erbsen <andreser@mit.edu>2015-12-15 20:53:49 -0500
commit199e1444029d1582c0ce0d1d4b2dfd8e9c6544c7 (patch)
tree8c723b833eed1b69f31e56fea5cd49d5c6ef4ddb
parent10a2008dd0441cc46d4f65d508369c89422ff638 (diff)
rename fields for encodings
-rw-r--r--src/Galois/EdDSA.v4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Galois/EdDSA.v b/src/Galois/EdDSA.v
index eed428c9c..f57361486 100644
--- a/src/Galois/EdDSA.v
+++ b/src/Galois/EdDSA.v
@@ -115,8 +115,8 @@ Module Type EdDSAParams.
Parameter H'_out_len : nat -> nat.
Parameter H' : forall {n}, word n -> word (H'_out_len n).
- Parameter GFEncoding : encoding of GF as word (b-1).
- Parameter ScEncoding : encoding of {s:Z | s = s mod l} as word (b-1).
+ Parameter FqEncoding : encoding of GF as word (b-1).
+ Parameter FlEncoding : encoding of {s:Z | s = s mod l} as word (b-1).
Parameter PointEncoding : encoding of point as word b.
End EdDSAParams.