1 files changed, 76 insertions, 0 deletions
diff --git a/sys/contrib/libsodium/test/default/verify1.c b/sys/contrib/libsodium/test/default/verify1.c
new file mode 100644
index 000000000000..68257c97f756
--- /dev/null
+++ b/sys/contrib/libsodium/test/default/verify1.c
@@ -0,0 +1,76 @@
+
+#define TEST_NAME "verify1"
+#include "cmptest.h"
+
+int
+main(void)
+{
+    unsigned char *v16, *v16x;
+    unsigned char *v32, *v32x;
+    unsigned char *v64, *v64x;
+    uint32_t       r;
+    uint8_t        o;
+    int            i;
+
+    v16  = (unsigned char *) sodium_malloc(16);
+    v16x = (unsigned char *) sodium_malloc(16);
+    v32  = (unsigned char *) sodium_malloc(32);
+    v32x = (unsigned char *) sodium_malloc(32);
+    v64  = (unsigned char *) sodium_malloc(64);
+    v64x = (unsigned char *) sodium_malloc(64);
+    for (i = 0; i < 10000; i++) {
+        randombytes_buf(v16, 16);
+        randombytes_buf(v32, 32);
+        randombytes_buf(v64, 64);
+
+        memcpy(v16x, v16, 16);
+        memcpy(v32x, v32, 32);
+        memcpy(v64x, v64, 64);
+
+        if (crypto_verify_16(v16, v16x) != 0 ||
+            crypto_verify_32(v32, v32x) != 0 ||
+            crypto_verify_64(v64, v64x) != 0 ||
+            sodium_memcmp(v16, v16x, 16) != 0 ||
+            sodium_memcmp(v32, v32x, 32) != 0 ||
+            sodium_memcmp(v64, v64x, 64) != 0) {
+            printf("Failed\n");
+        }
+    }
+    printf("OK\n");
+
+    for (i = 0; i < 100000; i++) {
+        r = randombytes_random();
+        o = (uint8_t) randombytes_random();
+        if (o == 0) {
+            continue;
+        }
+        v16x[r & 15U] ^= o;
+        v32x[r & 31U] ^= o;
+        v64x[r & 63U] ^= o;
+        if (crypto_verify_16(v16, v16x) != -1 ||
+            crypto_verify_32(v32, v32x) != -1 ||
+            crypto_verify_64(v64, v64x) != -1 ||
+            sodium_memcmp(v16, v16x, 16) != -1 ||
+            sodium_memcmp(v32, v32x, 32) != -1 ||
+            sodium_memcmp(v64, v64x, 64) != -1) {
+            printf("Failed\n");
+        }
+        v16x[r & 15U] ^= o;
+        v32x[r & 31U] ^= o;
+        v64x[r & 63U] ^= o;
+    }
+    printf("OK\n");
+
+    assert(crypto_verify_16_bytes() == 16U);
+    assert(crypto_verify_32_bytes() == 32U);
+    assert(crypto_verify_64_bytes() == 64U);
+
+    sodium_free(v16);
+    sodium_free(v16x);
+    sodium_free(v32);
+    sodium_free(v32x);
+    sodium_free(v64);
+    sodium_free(v64x);
+
+    return 0;
+}