Added NaCl crypto library.

11 files changed, 161 insertions, 0 deletions

diff --git a/nacl/crypto_verify/16/checksum b/nacl/crypto_verify/16/checksum
new file mode 100644
index 00000000..573541ac
--- /dev/null
+++ b/nacl/crypto_verify/16/checksum
@@ -0,0 +1 @@
+0
diff --git a/nacl/crypto_verify/16/ref/api.h b/nacl/crypto_verify/16/ref/api.h
new file mode 100644
index 00000000..32be2f97
--- /dev/null
+++ b/nacl/crypto_verify/16/ref/api.h
@@ -0,0 +1 @@
+#define CRYPTO_BYTES 16
diff --git a/nacl/crypto_verify/16/ref/verify.c b/nacl/crypto_verify/16/ref/verify.c
new file mode 100644
index 00000000..d356060c
--- /dev/null
+++ b/nacl/crypto_verify/16/ref/verify.c
@@ -0,0 +1,24 @@
+#include "crypto_verify.h"
+
+int crypto_verify(const unsigned char *x,const unsigned char *y)
+{
+  unsigned int differentbits = 0;
+#define F(i) differentbits |= x[i] ^ y[i];
+  F(0)
+  F(1)
+  F(2)
+  F(3)
+  F(4)
+  F(5)
+  F(6)
+  F(7)
+  F(8)
+  F(9)
+  F(10)
+  F(11)
+  F(12)
+  F(13)
+  F(14)
+  F(15)
+  return (1 & ((differentbits - 1) >> 8)) - 1;
+}
diff --git a/nacl/crypto_verify/16/used b/nacl/crypto_verify/16/used
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/nacl/crypto_verify/16/used
diff --git a/nacl/crypto_verify/32/checksum b/nacl/crypto_verify/32/checksum
new file mode 100644
index 00000000..573541ac
--- /dev/null
+++ b/nacl/crypto_verify/32/checksum
@@ -0,0 +1 @@
+0
diff --git a/nacl/crypto_verify/32/ref/api.h b/nacl/crypto_verify/32/ref/api.h
new file mode 100644
index 00000000..ae8c7f6a
--- /dev/null
+++ b/nacl/crypto_verify/32/ref/api.h
@@ -0,0 +1 @@
+#define CRYPTO_BYTES 32
diff --git a/nacl/crypto_verify/32/ref/verify.c b/nacl/crypto_verify/32/ref/verify.c
new file mode 100644
index 00000000..a0e23afe
--- /dev/null
+++ b/nacl/crypto_verify/32/ref/verify.c
@@ -0,0 +1,40 @@
+#include "crypto_verify.h"
+
+int crypto_verify(const unsigned char *x,const unsigned char *y)
+{
+  unsigned int differentbits = 0;
+#define F(i) differentbits |= x[i] ^ y[i];
+  F(0)
+  F(1)
+  F(2)
+  F(3)
+  F(4)
+  F(5)
+  F(6)
+  F(7)
+  F(8)
+  F(9)
+  F(10)
+  F(11)
+  F(12)
+  F(13)
+  F(14)
+  F(15)
+  F(16)
+  F(17)
+  F(18)
+  F(19)
+  F(20)
+  F(21)
+  F(22)
+  F(23)
+  F(24)
+  F(25)
+  F(26)
+  F(27)
+  F(28)
+  F(29)
+  F(30)
+  F(31)
+  return (1 & ((differentbits - 1) >> 8)) - 1;
+}
diff --git a/nacl/crypto_verify/32/used b/nacl/crypto_verify/32/used
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/nacl/crypto_verify/32/used
diff --git a/nacl/crypto_verify/measure.c b/nacl/crypto_verify/measure.c
new file mode 100644
index 00000000..bbfac4f1
--- /dev/null
+++ b/nacl/crypto_verify/measure.c
@@ -0,0 +1,18 @@
+#include "crypto_verify.h"
+
+const char *primitiveimplementation = crypto_verify_IMPLEMENTATION;
+const char *implementationversion = crypto_verify_VERSION;
+const char *sizenames[] = { "inputbytes", 0 };
+const long long sizes[] = { crypto_verify_BYTES };
+
+void preallocate(void)
+{
+}
+
+void allocate(void)
+{
+}
+
+void measure(void)
+{
+}
diff --git a/nacl/crypto_verify/try.c b/nacl/crypto_verify/try.c
new file mode 100644
index 00000000..f555cb4e
--- /dev/null
+++ b/nacl/crypto_verify/try.c
@@ -0,0 +1,75 @@
+/*
+ * crypto_verify/try.c version 20090118
+ * D. J. Bernstein
+ * Public domain.
+ */
+
+#include <stdlib.h>
+#include "crypto_verify.h"
+
+extern unsigned char *alignedcalloc(unsigned long long);
+
+const char *primitiveimplementation = crypto_verify_IMPLEMENTATION;
+
+static unsigned char *x;
+static unsigned char *y;
+
+void preallocate(void)
+{
+}
+
+void allocate(void)
+{
+  x = alignedcalloc(crypto_verify_BYTES);
+  y = alignedcalloc(crypto_verify_BYTES);
+}
+
+void predoit(void)
+{
+}
+
+void doit(void)
+{
+  crypto_verify(x,y);
+}
+
+static const char *check(void)
+{
+  int r = crypto_verify(x,y);
+  if (r == 0) {
+    if (memcmp(x,y,crypto_verify_BYTES)) return "different strings pass verify";
+  } else if (r == -1) {
+    if (!memcmp(x,y,crypto_verify_BYTES)) return "equal strings fail verify";
+  } else {
+    return "weird return value from verify";
+  }
+  return 0;
+}
+
+char checksum[2];
+
+const char *checksum_compute(void)
+{
+  long long tests;
+  long long i;
+  long long j;
+  const char *c;
+
+  for (tests = 0;tests < 100000;++tests) {
+    for (i = 0;i < crypto_verify_BYTES;++i) x[i] = random();
+    for (i = 0;i < crypto_verify_BYTES;++i) y[i] = random();
+    c = check(); if (c) return c;
+    for (i = 0;i < crypto_verify_BYTES;++i) y[i] = x[i];
+    c = check(); if (c) return c;
+    y[random() % crypto_verify_BYTES] = random();
+    c = check(); if (c) return c;
+    y[random() % crypto_verify_BYTES] = random();
+    c = check(); if (c) return c;
+    y[random() % crypto_verify_BYTES] = random();
+    c = check(); if (c) return c;
+  }
+
+  checksum[0] = '0';
+  checksum[1] = 0;
+  return 0;
+}
diff --git a/nacl/crypto_verify/wrapper-empty.cpp b/nacl/crypto_verify/wrapper-empty.cpp
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/nacl/crypto_verify/wrapper-empty.cpp