diff options
-rw-r--r-- | src/Spec/EdDSA.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Spec/EdDSA.v b/src/Spec/EdDSA.v index 2c7097207..1ed1a8054 100644 --- a/src/Spec/EdDSA.v +++ b/src/Spec/EdDSA.v @@ -79,4 +79,4 @@ Section EdDSA. ValidityRule : forall (message:Word.word n) (A:E) (R:E) (S:nat) S_lt_l, S * B = R + (H (enc R ++ enc A ++ message) mod l) * A -> valid message (enc A) (enc R ++ enc (exist _ S S_lt_l)). -End EdDSA.
\ No newline at end of file +End EdDSA. |