]> git.ipfire.org Git - people/ms/strongswan.git/commitdiff
Implemented Gaussian rejection sampler
authorAndreas Steffen <andreas.steffen@strongswan.org>
Tue, 11 Nov 2014 13:21:00 +0000 (14:21 +0100)
committerAndreas Steffen <andreas.steffen@strongswan.org>
Sat, 29 Nov 2014 13:51:16 +0000 (14:51 +0100)
The bliss_sampler class uses the mgf1_bitspender as a
pseudo-random source.

src/libstrongswan/plugins/bliss/Makefile.am
src/libstrongswan/plugins/bliss/bliss_param_set.c
src/libstrongswan/plugins/bliss/bliss_param_set.h
src/libstrongswan/plugins/bliss/bliss_private_key.c
src/libstrongswan/plugins/bliss/bliss_sampler.c [new file with mode: 0644]
src/libstrongswan/plugins/bliss/bliss_sampler.h [new file with mode: 0644]

index 5ecf03e97f729d87bb4b838a58eb8855d7d9d097..4d1f1d6043b9a160c11f419d0719414493d47a70 100644 (file)
@@ -17,7 +17,8 @@ libstrongswan_bliss_la_SOURCES = \
        bliss_private_key.h bliss_private_key.c \
        bliss_public_key.h bliss_public_key.c \
        bliss_fft.h bliss_fft.c \
-       bliss_fft_params.h bliss_fft_params.c
+       bliss_fft_params.h bliss_fft_params.c \
+       bliss_sampler.h bliss_sampler.c
 
 libstrongswan_bliss_la_LDFLAGS = -module -avoid-version
 
index 63a19972de2e887fbc9cab46dd1f5708ee6c6b2a..0466e83eeef61730073a5529305aa38d80cd68ab 100644 (file)
@@ -24,6 +24,94 @@ ENUM(bliss_param_set_id_names, BLISS_I, BLISS_IV,
        "BLISS-IV"
 );
 
+/**
+ * sigma = 215, k_sigma = ceiling[ sqrt(2*ln 2) * sigma ] = 254
+ *
+ * c[i] = exp(-2^i/f), i = 0..20, with f = k_sigma^2 / ln 2 = 93'076.9
+ */
+static uint8_t c_bliss_i[] = {
+       255, 255,  75, 191, 247,  94,  30,  51, 147, 246,  89,  59,  99, 248,  26, 128,
+       255, 254, 151, 128, 109, 166,  88, 143,  30, 175, 149,  20, 240,  81, 138, 111,
+       255, 253,  47,   2, 214, 243, 188,  76, 236, 235,  40,  62,  54,  35,  33, 205,
+       255, 250,  94,  13, 156, 120, 121, 216, 255, 120,  90,  11,  39, 232, 120, 111,
+       255, 244, 188,  58, 242, 219, 157, 174,   6,  31, 131,  75,  88, 109, 112, 107,
+       255, 233, 120, 244, 202, 151,  25,  10, 197, 109, 113, 255, 157,  89, 182, 141,
+       255, 210, 243, 229,  18,  88,  50, 239, 130, 192,  12, 167,  62, 254, 211, 202,
+       255, 165, 239, 183, 102, 186, 123, 249, 251,  59, 116, 143,  50, 174, 125, 198,
+       255,  75, 255,  30,  65, 137, 228, 148,  14,  17, 113, 251,  81, 177, 151, 168,
+       254, 152, 124, 205, 192, 136, 102,  79,   5,  62, 214,  95,  36, 223,   7,  20,
+       253,  50, 242, 124, 187,  59,  68, 224,  90, 156,  53, 202,   9,  44, 191, 226,
+       250, 109, 189, 110,  40, 124,  88,  12,  83,  78, 176,  86,  12, 102,  13,  41,
+       244, 250, 133,   6,   3,  13,  45,   9, 120, 121, 150, 237,  69, 190,  62,  16,
+       234, 110, 130, 187, 138, 174,  82, 229, 217, 154,  88, 138, 228, 153, 230,  13,
+       214, 174,  54, 179, 117, 116, 223, 152,  97,  84,  31,  99,  68, 150, 122, 244,
+       180,   7, 186,   2, 112,   3,  68,  13, 123, 133, 244, 184, 232, 216, 133,  18,
+       126, 154, 221, 207,  32, 206,  66, 171,  94, 100, 164, 194, 117, 191,   1, 209,
+        62, 156, 208,   7, 129, 173, 200,   3,  23, 248, 140,  60,  69, 217, 195, 235,
+        15,  80,  84, 209, 213,   2, 107, 160,   1, 152,  43, 130,  93,  95, 241, 218,
+         0, 234, 131,  37, 182,  53, 201, 231,  26,   2, 151, 161,  13, 214, 150, 145,
+         0,   0, 214, 212,   4,  32, 184,  94,  84,  90, 244, 139,  48,  69,  33,  38
+};
+
+/**
+ * sigma = 250, k_sigma = ceiling[ sqrt(2*ln 2) * sigma ] = 295
+ *
+ * c[i] = exp(-2^i/f), i = 0..20, with f = k_sigma^2 / ln 2 = 125'550.5
+ */
+static uint8_t c_bliss_iii[] = {
+       255, 255, 122,  95,  16, 128,  14, 195,  60,  90, 166, 191, 205,  26, 144, 204,
+       255, 254, 244, 190, 102, 192, 187, 141, 169,  92,  33,  30, 170, 141, 184,  56,
+       255, 253, 233, 125, 228, 131,  93, 148, 121,  92,  52, 122, 149,  96,  29,  66,
+       255, 251, 211,   0,  37,   9, 199, 244, 213, 217, 122, 205, 171, 200, 198,   5,
+       255, 247, 166,  17, 185, 251,  90, 150,   1,  28,   7, 205, 125,  46,  84, 201,
+       255, 239,  76, 105,  50, 114, 159, 235, 215, 165, 204, 182, 125, 143, 228, 222,
+       255, 222, 153, 233,  85, 187,  45, 204, 236, 229,  38, 180,  20, 161,   7, 167,
+       255, 189,  56,  46,  38,   4,  83,   8, 151, 137, 136,   1,   9, 180,  58, 204,
+       255, 122, 129, 199, 240,  52, 248, 193,  76,  26, 160,  32, 195, 250, 217,  25,
+       254, 245,  73,  44,  68, 229, 150,  74, 228,  74, 124, 249, 123,  94, 108, 127,
+       253, 235, 168,  56, 252,  93, 188, 160, 249, 137, 236,  65,  62, 182, 153,  63,
+       251, 219, 163, 110, 233, 251, 114, 216, 230,  35,  59, 210, 107, 100, 184,  16,
+       247, 200, 110, 236, 134, 237, 213, 111, 240, 149, 109,  22, 216, 213, 237, 145,
+       239, 212,  98, 249, 238,   1, 227, 248, 242,  51, 211, 134, 154, 115, 189,  83,
+       224, 174,  65,   2, 190, 158,   9,   6, 184,  13, 130, 104, 247, 102,  38, 160,
+       197,  49, 104,  97,  61, 210,  19, 115, 208,  54,  91,  27, 209, 227,  33,  26,
+       151, 229,  20,  46, 200, 238,  35, 134,  72, 183, 253, 160, 193, 155, 117, 103,
+        90,  32,  10, 204,  78,  83, 191, 230,   0, 221, 219,   6,  43, 252, 185,  95,
+        31, 186, 139, 154,  90, 155,  17,   9,  42, 139,  40, 111, 246, 175,   4,  15,
+         3, 238, 181, 190, 138,  94,  50, 234, 128, 193,  95,  36,  65, 236, 170, 208,
+         0,  15, 118, 216, 230, 142, 121, 211,  13, 168, 207, 126, 145, 176,  24, 201
+};
+
+/**
+ * sigma = 271, k_sigma = ceiling[ sqrt(2*ln 2) * sigma ] = 320
+ *
+ * c[i] = exp(-2^i/f), i = 0..21, with f = k_sigma^2 / ln 2 = 147'732.0
+ */
+static uint8_t c_bliss_iv[] = {
+       255, 255, 142, 111, 102,   2, 141,  87, 150,  42,  18,  70,   6, 224,  18,  70,
+       255, 255,  28, 222, 254, 102,  20,  78, 133,  78, 189, 107,  29,   7,  23, 193,
+       255, 254,  57, 190, 198,  79, 181, 181, 108,  75, 142, 145,  45, 238, 193,  29,
+       255, 252, 115, 128, 178, 170, 212, 166, 120, 157,  85,  96, 209, 180, 211,  83,
+       255, 248, 231,  13, 253, 108, 245,  46, 238, 155,  30,  99, 141, 228, 149, 239,
+       255, 241, 206,  78,  90, 132,  83, 172, 228, 179, 119, 115, 240,  51, 216,   6,
+       255, 227, 157, 102,  46,  28,  61, 128,  58, 114, 174, 136,   8, 224, 133,  84,
+       255, 199,  61, 242,  19, 216, 133, 241, 240,  22, 146,  43,  92,  57,  82, 248,
+       255, 142, 136, 121, 160, 225, 119, 214, 241,  44, 159,  34, 133, 118,  96,  60,
+       255,  29,  67,  61, 254,  49,  27, 152,  48, 124, 184,  87,  66, 214,  63, 133,
+       254,  59,  79,  77, 206,  26, 238,  42,  69,  81, 191, 149, 146,  76, 255, 232,
+       252, 121, 191,  28,  11, 107, 141, 223, 234,  42, 226,  50, 138, 102,  16,  97,
+       248, 255, 234,  37, 109, 169, 103,  25, 240, 109,  93, 165, 177,  22, 133, 100,
+       242,  48, 213, 124, 209,  49,  33,  48,  57, 237, 202,  62, 102, 132, 219,  48,
+       229,  32,  92, 240, 188,  88,  70,  34, 179,  94, 244,  70,  25, 123,  76, 140,
+       205,  18, 234,  94,  14, 226, 237,  76, 192,  18, 240,  50,  79,  63,  34,  96,
+       164,  71,  76, 192, 111, 161, 157, 188,  19, 189, 133, 246,  67, 127,   6,  28,
+       105, 107, 110,  50,  56, 199, 208, 174,  16,  95, 153, 106, 217, 198, 194, 179,
+        43, 105,  77, 122, 127, 254, 146, 221,  44, 235,  61,  22, 179,   9, 113, 118,
+         7,  92, 139,  87, 204, 239, 111, 200,  41, 129, 122,  49,  69, 113, 122, 239,
+         0,  54,  49,  19,  64,  40, 218, 222,  60,  82, 186, 246,  64, 155, 184,  47,
+         0,   0,  11, 120, 189, 135, 113,  62, 143, 175, 118, 239, 190, 120, 189, 250
+};
+
 /**
  * BLISS signature parameter set definitions
  */
@@ -42,6 +130,11 @@ static bliss_param_set_t bliss_param_sets[] = {
                .non_zero2 = 0,
                .kappa = 23,
                .nks_max = 46479,
+               .k_sigma = 254,
+               .k_sigma_bits = 8,
+               .c = c_bliss_i,
+               .c_cols = 16,
+               .c_rows = 21
       },
 
        /* BLISS-III scheme */
@@ -57,6 +150,11 @@ static bliss_param_set_t bliss_param_sets[] = {
                .non_zero2 = 16,
                .kappa = 30,
                .nks_max = 128626,
+               .k_sigma = 295,
+               .k_sigma_bits = 9,
+               .c = c_bliss_iii,
+               .c_cols = 16,
+               .c_rows = 21
       },
 
        /* BLISS-IV scheme */
@@ -72,7 +170,12 @@ static bliss_param_set_t bliss_param_sets[] = {
                .non_zero2 = 31,
                .kappa = 39,
                .nks_max = 244669,
-      }
+               .k_sigma = 320,
+               .k_sigma_bits = 9,
+               .c = c_bliss_iv,
+               .c_cols = 16,
+               .c_rows = 22
+     }
 };
 
 /**
index acc053bbc4abd37d71180f9804467b47a447c564..45d8c0e43b23e35636fd1426af631b198a45e9d4 100644 (file)
@@ -100,6 +100,31 @@ struct bliss_param_set_t {
         */
        uint32_t nks_max;
 
+       /**
+        *  k_sigma = ceiling[ sqrt(2*ln 2) * sigma ]
+        */
+       uint16_t k_sigma;
+
+       /**
+        *  Number of bits in k_sigma
+        */
+       uint16_t k_sigma_bits;
+
+       /**
+        * Coefficients for Bernoulli sampling with exponential biases
+        */
+       uint8_t *c;
+
+       /**
+        * Number of columns in Bernoulli coefficient table
+        */
+       size_t c_cols;
+
+       /**
+        * Number of rows in Bernoulli coefficient table
+        */
+       size_t c_rows;
+
 };
 
 /**
index 68fcb6d9f89c4044ae4dd8308c105668fdf0afc8..9d9cd445654b221c06ff21db8deefb024db9c1b0 100644 (file)
@@ -15,6 +15,7 @@
 
 #include "bliss_private_key.h"
 #include "bliss_param_set.h"
+#include "bliss_sampler.h"
 #include "bliss_fft.h"
 
 #include <crypto/mgf1/mgf1_bitspender.h>
@@ -82,6 +83,88 @@ METHOD(private_key_t, get_type, key_type_t,
        return KEY_BLISS;
 }
 
+static bool sign_bliss_with_sha512(private_bliss_private_key_t *this,
+                                                                  chunk_t data, chunk_t *signature)
+{
+       rng_t *rng;
+       hash_algorithm_t alg;
+       bliss_sampler_t *sampler;
+       int i, count_max = 100000000;
+       int hist_len = 20000, hist_len2 = hist_len / 2;
+       int32_t x, hist[hist_len];
+       double mean = 0, sigma2 = 0;
+       uint8_t seed_buf[32];
+       size_t seed_len;
+       chunk_t seed;
+
+       /* Set MGF1 hash algorithm and seed length based on security strength */
+       if (this->set->strength > 160)
+       {
+               alg = HASH_SHA256;
+               seed_len = HASH_SIZE_SHA256;
+       }
+       else
+       {
+               alg = HASH_SHA1;
+               seed_len = HASH_SIZE_SHA1;
+       }
+       seed = chunk_create(seed_buf, seed_len);
+
+       rng = lib->crypto->create_rng(lib->crypto, RNG_TRUE);
+       if (!rng)
+       {
+               return FALSE;
+       }
+       if (!rng->get_bytes(rng, seed_len, seed_buf))
+       {
+               rng->destroy(rng);
+               return FALSE;
+       }
+       rng->destroy(rng);
+
+       sampler = bliss_sampler_create(alg, seed, this->set);
+       if (!sampler)
+       {
+               return FALSE;
+       }
+
+       for (i = 0; i < hist_len; i++)
+       {
+               hist[i] = 0;
+       }
+
+       for (i = 0; i < count_max; i++)
+       {
+               if (!sampler->gaussian(sampler, &x))
+               {
+                       sampler->destroy(sampler);
+                       return FALSE;
+               }
+               hist[hist_len2 + x]++;
+       }
+       for (i = 0; i < hist_len; i++)
+       {
+               if (hist[i])
+               {
+                       x = i - hist_len2;
+                       DBG2(DBG_LIB, "hist[%4d] = %7u", x, hist[i]);
+                       mean   += (double)hist[i] * x;
+                       sigma2 += (double)hist[i] * x * x;
+               }
+       }
+       mean   /= (double)count_max;
+       sigma2 /= (double)count_max;
+       sigma2 -=  mean * mean;
+       DBG2(DBG_LIB, "mean = %6.4f, sigma2 = %7.2f ", mean, sigma2);
+
+       sampler->destroy(sampler);
+
+       DBG2(DBG_LIB, "empty signature");
+       *signature = chunk_empty;
+
+       return TRUE;
+}
+
 METHOD(private_key_t, sign, bool,
        private_bliss_private_key_t *this, signature_scheme_t scheme,
        chunk_t data, chunk_t *signature)
@@ -89,9 +172,7 @@ METHOD(private_key_t, sign, bool,
        switch (scheme)
        {
                case SIGN_BLISS_WITH_SHA512:
-                       DBG2(DBG_LIB, "empty signature");
-                       *signature = chunk_empty;
-                       return TRUE;
+                       return sign_bliss_with_sha512(this, data, signature);
                default:
                        DBG1(DBG_LIB, "signature scheme %N not supported with BLISS",
                                 signature_scheme_names, scheme);
@@ -153,7 +234,6 @@ METHOD(private_key_t, get_encoding, bool,
                                                        asn1_simple_object(ASN1_OCTET_STRING, s1_chunk),
                                                        asn1_simple_object(ASN1_OCTET_STRING, s2_chunk)
                                                );
-
                        if (type == PRIVKEY_PEM)
                        {
                                chunk_t asn1_encoding = *encoding;
@@ -380,8 +460,7 @@ static int8_t* create_vector_from_seed(private_bliss_private_key_t *this,
        non_zero = this->set->non_zero1;
        while (non_zero)
        {
-               index = bitspender->get_bits(bitspender, this->set->n_bits);
-               if (index == MGF1_BITSPENDER_ERROR)
+               if (!bitspender->get_bits(bitspender, this->set->n_bits, &index))
                {
                        free(vector);
                        return NULL;
@@ -391,8 +470,7 @@ static int8_t* create_vector_from_seed(private_bliss_private_key_t *this,
                        continue;
                }
 
-               sign = bitspender->get_bits(bitspender, 1);
-               if (sign == MGF1_BITSPENDER_ERROR)
+               if (!bitspender->get_bits(bitspender, 1, &sign))
                {
                        free(vector);
                        return NULL;
@@ -404,8 +482,7 @@ static int8_t* create_vector_from_seed(private_bliss_private_key_t *this,
        non_zero = this->set->non_zero2;
        while (non_zero)
        {
-               index = bitspender->get_bits(bitspender, this->set->n_bits);
-               if (index == MGF1_BITSPENDER_ERROR)
+               if (!bitspender->get_bits(bitspender, this->set->n_bits, &index))
                {
                        free(vector);
                        return NULL;
@@ -415,13 +492,12 @@ static int8_t* create_vector_from_seed(private_bliss_private_key_t *this,
                        continue;
                }
 
-               sign = bitspender->get_bits(bitspender, 1);
-               if (sign == MGF1_BITSPENDER_ERROR)
+               if (!bitspender->get_bits(bitspender, 1, &sign))
                {
                        free(vector);
                        return NULL;
                }
-               vector[index] = bitspender->get_bits(bitspender, 1) ? 2 : -2;
+               vector[index] = sign ? 2 : -2;
                non_zero--;
        }
        bitspender->destroy(bitspender);
@@ -539,7 +615,7 @@ bliss_private_key_t *bliss_private_key_gen(key_type_t type, va_list args)
                break;
        }
 
-       /* Only BLISS-I and BLISS-IV are currently supported */
+       /* Only BLISS-I, BLISS-III and BLISS-IV are currently supported */
        set = bliss_param_set_get_by_id(key_size);
        if (!set)
        {
diff --git a/src/libstrongswan/plugins/bliss/bliss_sampler.c b/src/libstrongswan/plugins/bliss/bliss_sampler.c
new file mode 100644 (file)
index 0000000..5f1012d
--- /dev/null
@@ -0,0 +1,198 @@
+/*
+ * Copyright (C) 2014 Andreas Steffen
+ * HSR Hochschule fuer Technik Rapperswil
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the
+ * Free Software Foundation; either version 2 of the License, or (at your
+ * option) any later version.  See <http://www.fsf.org/copyleft/gpl.txt>.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+ * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * for more details.
+ */
+
+#include "bliss_sampler.h"
+
+typedef struct private_bliss_sampler_t private_bliss_sampler_t;
+
+#include <crypto/mgf1/mgf1_bitspender.h>
+
+/**
+ * Private data of a bliss_sampler_t object.
+ */
+struct private_bliss_sampler_t {
+
+       /**
+        * Public interface.
+        */
+       bliss_sampler_t public;
+
+       /**
+        * BLISS parameter the rejection sampling is to be based on
+        */
+       bliss_param_set_t *set;
+
+       /**
+        * Bitspender used for random rejection sampling
+        */
+       mgf1_bitspender_t *bitspender;
+
+};
+
+METHOD(bliss_sampler_t, bernoulli_exp, bool,
+       private_bliss_sampler_t *this, uint32_t x, bool *accepted)
+{
+       uint32_t x_mask;
+       uint8_t *c, u;
+       int i;
+
+       x_mask = 1 << (this->set->c_rows - 1);
+       c = this->set->c;
+       c += (this->set->c_rows - 1) * this->set->c_cols;
+
+       while (x_mask > 0)
+       {
+               if (x & x_mask)
+               {
+                       for (i = 0; i < this->set->c_cols; i++)
+                       {
+                               if (!this->bitspender->get_byte(this->bitspender, &u))
+                               {
+                                       return FALSE;
+                               }
+                               if (u < c[i])
+                               {
+                                       break;
+                               }
+                               else if (u > c[i])
+                               {
+                                       *accepted = FALSE;
+                                       return TRUE;
+                               }
+                       }
+               }
+               x_mask >>= 1;
+               c -= this->set->c_cols;
+       }
+
+       *accepted = TRUE;
+       return TRUE;
+}
+
+#define MAX_SAMPLE_INDEX       16
+
+METHOD(bliss_sampler_t, pos_binary, bool,
+       private_bliss_sampler_t *this, uint32_t *x)
+{
+       uint32_t u, i;
+
+       while (TRUE)
+       {
+               for (i = 0; i <= MAX_SAMPLE_INDEX; i++)
+               {
+                       if (!this->bitspender->get_bits(this->bitspender,
+                                                                                       i ? (2*i - 1) : 1, &u))
+                       {
+                               return FALSE;
+                       }
+                       if (u == 0)
+                       {
+                               *x = i;
+                               return TRUE;
+                       }
+                       if ((u >> 1) != 0)
+                       {
+                               break;
+                       }
+               }
+               if (i > MAX_SAMPLE_INDEX)
+               {
+                       return FALSE;
+               }
+       }
+}
+
+METHOD(bliss_sampler_t, gaussian, bool,
+       private_bliss_sampler_t *this, int32_t *z)
+{
+       uint32_t u, x, y, z_pos;
+       bool accepted;
+
+       while (TRUE)
+       {
+               if (!pos_binary(this, &x))
+               {
+                       return FALSE;
+               }
+
+               do
+               {
+                       if (!this->bitspender->get_bits(this->bitspender,
+                                                                                       this->set->k_sigma_bits, &y))
+                       {
+                               return FALSE;
+                       }
+               }
+               while (y >= this->set->k_sigma);
+
+               if (!bernoulli_exp(this, y * (y + 2*this->set->k_sigma * x), &accepted))
+               {
+                       return FALSE;
+               }
+               if (accepted)
+               {
+                       if (!this->bitspender->get_bits(this->bitspender, 1, &u))
+                       {
+                               return FALSE;
+                       }
+                       if (x || y || u)
+                       { 
+                               break;
+                       }
+               }
+       }
+
+       z_pos = this->set->k_sigma * x + y;
+       *z = u ? z_pos : -z_pos;
+
+       return TRUE;
+}
+
+METHOD(bliss_sampler_t, destroy, void,
+       private_bliss_sampler_t *this)
+{
+       this->bitspender->destroy(this->bitspender);
+       free(this);
+}
+
+
+/**
+ * See header.
+ */
+bliss_sampler_t *bliss_sampler_create(hash_algorithm_t alg, chunk_t seed,
+                                                                         bliss_param_set_t *set)
+{
+       private_bliss_sampler_t *this;
+       mgf1_bitspender_t *bitspender;
+
+       bitspender = mgf1_bitspender_create(alg, seed, FALSE);
+       if (!bitspender)
+       {
+               return NULL;
+       }
+
+       INIT(this,
+               .public = {
+                       .bernoulli_exp = _bernoulli_exp,
+                       .pos_binary = _pos_binary,
+                       .gaussian = _gaussian,
+                       .destroy = _destroy,
+               },
+               .set = set,
+               .bitspender = bitspender,
+       );
+
+       return &this->public;
+}
diff --git a/src/libstrongswan/plugins/bliss/bliss_sampler.h b/src/libstrongswan/plugins/bliss/bliss_sampler.h
new file mode 100644 (file)
index 0000000..3b9c6db
--- /dev/null
@@ -0,0 +1,77 @@
+/*
+ * Copyright (C) 2014 Andreas Steffen
+ * HSR Hochschule fuer Technik Rapperswil
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the
+ * Free Software Foundation; either version 2 of the License, or (at your
+ * option) any later version.  See <http://www.fsf.org/copyleft/gpl.txt>.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+ * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * for more details.
+ */
+
+/**
+ * @defgroup bliss_sampler bliss_sampler
+ * @{ @ingroup bliss_p
+ */
+
+#ifndef BLISS_SAMPLER_H_
+#define BLISS_SAMPLER_H_
+
+typedef struct bliss_sampler_t bliss_sampler_t;
+
+#include "bliss_param_set.h"
+
+#include <library.h>
+#include <crypto/hashers/hasher.h>
+
+/**
+ * Implementation various rejection sampling algorithms.
+ */
+struct bliss_sampler_t {
+
+       /**
+        * Sample according to exp(-x/(2*sigma^2))
+        *
+        * @param x                     Value to be sampled
+        * @param accepted      TRUE if value is accepted, FALSE if rejected
+        * @result                      TRUE if sampling was successful
+        */
+       bool (*bernoulli_exp)(bliss_sampler_t *this, uint32_t x, bool *accepted);
+
+       /**
+        * Sample according to 2^(-x^2) for positive x
+        *
+        * @param x                     Generated value
+        * @result                      TRUE if sampling was successful
+        */
+       bool (*pos_binary)(bliss_sampler_t *this, uint32_t *x);
+
+       /**
+        * Sample according to the Gaussian distribution exp(-x^2/(2*sigma^2))
+        *
+        * @param z                     Generated value with Gaussian distribution
+        * @result                      TRUE if sampling was successful
+        */
+       bool (*gaussian)(bliss_sampler_t *this, int32_t *z);
+
+       /**
+        * Destroy bliss_sampler_t object
+        */
+       void (*destroy)(bliss_sampler_t *this);
+};
+
+/**
+ * Create a bliss_sampler_t object.
+ *
+ * @param alg          Hash algorithm to be used for the internal bitspender
+ * @param seed         Seed used to initialize the internal bitspender
+ * @param set          BLISS parameter set to be used
+ */
+bliss_sampler_t *bliss_sampler_create(hash_algorithm_t alg, chunk_t seed,
+                                                                         bliss_param_set_t *set);
+
+#endif /** BLISS_SAMPLER_H_ @}*/