diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-24 21:07:51 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-27 13:39:21 -0400 |
| commit | 195d4ad5028816ac5755949f051e6c6035cfa5bf (patch) | |
| tree | 17ae057b6817d0cf35c825203e93c10281550b7f | |
| parent | 1f052242812205117226fd027bbc7c6132912b97 (diff) | |
removed lingering TODO
| -rw-r--r-- | src/Experiments/Ed25519.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Experiments/Ed25519.v b/src/Experiments/Ed25519.v index d58062107..3c89a7aec 100644 --- a/src/Experiments/Ed25519.v +++ b/src/Experiments/Ed25519.v @@ -52,7 +52,6 @@ Let Erep := (@ExtendedCoordinates.Extended.point d ). -(* TODO : prove -- use Ed25519.curve25519_params_ok *) Local Existing Instance GF25519.homomorphism_F25519_encode. Local Existing Instance GF25519.homomorphism_F25519_decode. Lemma twedprm_ERep : |