Browse Source

Add ddlog files.

Michele Orrù 7 years ago
parent
commit
f818a545db
2 changed files with 132 additions and 0 deletions
  1. 116 0
      src/ddlog.c
  2. 16 0
      src/ddlog.h

+ 116 - 0
src/ddlog.c

@@ -0,0 +1,116 @@
+#include <stdint.h>
+#include <limits.h>
+#include <strings.h>
+
+#include <gmp.h>
+
+#include "ddlog.h"
+#include "hss.h"
+
+uint8_t lookup[256];
+uint8_t offset[256];
+
+static inline
+void add_1(uint64_t *b, const size_t start, const size_t len, uint64_t a)
+{
+  for (size_t i = start; a != 0; i = (i+1)%len) {
+    const uint64_t r = b[i] + a;
+    a = (r < a);
+    b[i] = r;
+  }
+  /*
+     we don't check for overflows in "i".
+     If it happens, buy a lottery ticket and retry.
+   */
+}
+
+uint32_t convert(uint64_t * nn)
+{
+  static const uint64_t topmask = ~(ULLONG_MAX >> halfstrip_size);
+  static const uint64_t topbigmask = ~(ULLONG_MAX >> strip_size);
+  static const uint64_t bottommask = (0x01  << halfstrip_size) -1;
+
+  uint32_t w;
+  uint32_t steps;
+  size_t head = 23;
+#define next_head  ((head + 23) % 24)
+#define tail       ((head + 1)  % 24)
+#define next_tail  ((head + 2)  % 24)
+
+#define distinguished(x) (((x)[head] & topbigmask)) == 0
+
+  /** Check the most significant block */
+  const uint64_t x = nn[head];
+  for (uint32_t w2 = halfstrip_size; w2 < 64-halfstrip_size; w2 += halfstrip_size) {
+    if (!(x & (topmask >> w2))) {
+      for (w = w2-1; !(x & (topmask >> w)); w--);
+      ++w;
+      if (!(x & (topbigmask >> w))) return w;
+    }
+  }
+
+  for (steps = 64; !distinguished(nn); steps += 64) {
+    const uint64_t x = nn[head];
+    const uint64_t y = nn[next_head];
+
+    if (!(x & bottommask)) {
+      const size_t previous = (x >> halfstrip_size) & bottommask;
+      const uint8_t next = y >> (64 - halfstrip_size);
+      if (next <= lookup[previous]) return steps - halfstrip_size - offset[previous];
+    }
+
+    if (!(y & topmask)) {
+      const size_t previous = x & bottommask;
+      const uint8_t next = (y >> (64 - 2*halfstrip_size)) & bottommask;
+      if (next <= lookup[previous]) return steps - offset[previous];
+    }
+
+    for (uint32_t w2 = halfstrip_size; w2 < 64-halfstrip_size; w2 += halfstrip_size) {
+      if (!(y & (topmask >> w2))) {
+        for (w = w2-1; !(y & (topmask >> w)); w--);
+        ++w;
+        if (!(y & (topbigmask >> w)))  return steps + w;
+      }
+    }
+
+    /**
+     * We found no distinguished point.
+     */
+    const uint128_t a = (uint128_t) x * gg;
+    const uint64_t al = (uint64_t) a;
+    const uint64_t ah = (a >> 64);
+    head = next_head;
+    nn[tail] = al;
+    add_1(nn, next_tail, 24, ah);
+
+  }
+  return steps;
+}
+
+
+uint32_t naif_convert(mpz_t n)
+{
+  uint32_t i;
+  mpz_t t;
+  mpz_init_set_ui(t, 1);
+  mpz_mul_2exp(t, t, 1536-strip_size);
+
+
+  for (i = 0; mpz_cmp(n, t) > -1; i++) {
+    mpz_mul_ui(n, n, 2);
+    mpz_mod(n, n, p);
+  }
+
+  mpz_clear(t);
+  return i;
+}
+
+
+void dlog_precompute()
+{
+  for (size_t i = 0; i <= 0xFF; i++) {
+    uint32_t j = ffs(i) ? ffs(i) - 1 : 8;
+    lookup[i] = 0xFF >> (8-j);
+    offset[i] = j;
+  }
+}

+ 16 - 0
src/ddlog.h

@@ -0,0 +1,16 @@
+#pragma once
+
+#include <stdint.h>
+
+#define strip_size 16
+#define halfstrip_size ((strip_size)/2)
+
+typedef __uint128_t uint128_t;
+
+
+extern uint8_t lookup[256];
+extern uint8_t offset[256];
+
+
+uint32_t convert(uint64_t *nn);
+void dlog_precompute();