diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2015-12-15 20:53:49 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2015-12-15 20:53:49 -0500 |
| commit | 199e1444029d1582c0ce0d1d4b2dfd8e9c6544c7 (patch) | |
| tree | 8c723b833eed1b69f31e56fea5cd49d5c6ef4ddb | |
| parent | 10a2008dd0441cc46d4f65d508369c89422ff638 (diff) | |
rename fields for encodings
| -rw-r--r-- | src/Galois/EdDSA.v | 4 |
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. |