From 7e2755166a9c0f704e2e81aff45d91881b9ef921 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Sun, 26 Apr 2020 20:00:49 +0200 Subject: [PATCH] Add a scalarmult test to show that the high bit is ignored --- test/default/scalarmult.c | 6 ++++++ test/default/scalarmult.exp | 1 + 2 files changed, 7 insertions(+) diff --git a/test/default/scalarmult.c b/test/default/scalarmult.c index 0e055380..b410fcd1 100644 --- a/test/default/scalarmult.c +++ b/test/default/scalarmult.c @@ -52,6 +52,12 @@ main(void) sodium_bin2hex(hex, sizeof hex, k, crypto_scalarmult_BYTES); printf("%s\n", hex); + alicepk[31] ^= 0x80; + ret = crypto_scalarmult(k, bobsk, alicepk); + assert(ret == 0); + sodium_bin2hex(hex, sizeof hex, k, crypto_scalarmult_BYTES); + printf("%s\n", hex); + ret = crypto_scalarmult(k, bobsk, small_order_p); assert(ret == -1); diff --git a/test/default/scalarmult.exp b/test/default/scalarmult.exp index 1a38d891..df1d2736 100644 --- a/test/default/scalarmult.exp +++ b/test/default/scalarmult.exp @@ -2,3 +2,4 @@ de9edb7d7b7dc1b4d35b61c2ece435373f8343c85b78674dadfc7e146f882b4f 4a5d9d5ba4ce2de1728e3bf480350f25e07e21c947d19e3376f09b3c1e161742 4a5d9d5ba4ce2de1728e3bf480350f25e07e21c947d19e3376f09b3c1e161742 +4a5d9d5ba4ce2de1728e3bf480350f25e07e21c947d19e3376f09b3c1e161742