diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-01-05 18:31:18 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-01-05 18:31:18 -0500 |
| commit | d4a2d4a57bb691e0129c1697e09e91c9aafe7d1c (patch) | |
| tree | 9f600a0f9dcf7cefff150fea32761d5c20ad73c4 /_CoqProject | |
| parent | 7ef4da17c2a2530fcce15b1b04249c4ef97aab86 (diff) | |
Specific/EdDSA25519: created most of specific instantiation of EdDSA; still missing parameters d, H, l, B, and PointEncoding.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index b862cf7ac..a99d9a3f7 100644 --- a/_CoqProject +++ b/_CoqProject @@ -4,7 +4,9 @@ src/Tactics/VerdiTactics.v src/Util/CaseUtil.v src/Util/ListUtil.v +src/Util/NatUtil.v src/Util/ZUtil.v +src/Util/NumTheoryUtil.v src/Galois/Galois.v src/Galois/GaloisTheory.v src/Galois/ZGaloisField.v @@ -14,7 +16,7 @@ src/Galois/ComputationalGaloisField.v src/Galois/BaseSystem.v src/Galois/ModularBaseSystem.v src/Curves/PointFormats.v +src/Galois/EdDSA.v src/Assembly/WordBounds.v src/Curves/Curve25519.v src/Specific/GF25519.v -src/Galois/EdDSA.v |