From 222ab9857c9abdd06b0167a08c82fd9cb7076066 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Wed, 15 Nov 2017 15:31:01 +0100 Subject: [PATCH] Check that add/sub don't enforce the canonical form --- test/default/core_ed25519.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/test/default/core_ed25519.c b/test/default/core_ed25519.c index 824448c0..cf79d16a 100644 --- a/test/default/core_ed25519.c +++ b/test/default/core_ed25519.c @@ -98,6 +98,13 @@ main(void) p[0] = 9; assert(crypto_core_ed25519_is_valid_point(p) == 1); + memcpy(p2, p, crypto_core_ed25519_BYTES); + add_P(p2); + crypto_core_ed25519_add(p3, p2, p2); + crypto_core_ed25519_sub(p3, p3, p2); + assert(memcmp(p2, p, crypto_core_ed25519_BYTES) != 0); + assert(memcmp(p3, p, crypto_core_ed25519_BYTES) == 0); + sodium_free(sc); sodium_free(p3); sodium_free(p2);