Overdrive.

bristolcrypto · Mar 2, 2018 · 2008a87 · 2008a87
1 parent c6371c2
commit 2008a87
Show file tree

Hide file tree

Showing 267 changed files with 3,440 additions and 495 deletions.
diff --git a/Auth/MAC_Check.cpp b/Auth/MAC_Check.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 
 #include "Auth/MAC_Check.h"

diff --git a/Auth/MAC_Check.h b/Auth/MAC_Check.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _MAC_Check
 #define _MAC_Check

diff --git a/Auth/Subroutines.cpp b/Auth/Subroutines.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 
 #include "Auth/Subroutines.h"

diff --git a/Auth/Subroutines.h b/Auth/Subroutines.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _Subroutines
 #define _Subroutines

diff --git a/Auth/Summer.cpp b/Auth/Summer.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 /*
  * Summer.cpp

diff --git a/Auth/Summer.h b/Auth/Summer.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 /*
  * Summer.h

diff --git a/Auth/fake-stuff.cpp b/Auth/fake-stuff.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 
 #include "Math/gf2n.h"

diff --git a/Auth/fake-stuff.h b/Auth/fake-stuff.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 
 #ifndef _fake_stuff

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 The changelog explains changes pulled through from the private development repository. Bug fixes and small enchancements are committed between releases and not documented here.
 
+## 0.0.3 (Mar 2, 2018)
+
+- Added offline phases based on homomorphic encryption, used in the [SPDZ-2 paper](https://eprint.iacr.org/2012/642) and the [Overdrive paper](https://eprint.iacr.org/2017/1230).
+- On macOS, the minimum requirement is now Sierra.
+- Compilation with LLVM/clang is now possible (tested with 3.8).
+
 ## 0.0.2 (Sep 13, 2017)
 
 ### Support sockets based external client input and output to a SPDZ MPC program.

diff --git a/CONFIG b/CONFIG
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 ROOT = .
 

diff --git a/Check-Offline.cpp b/Check-Offline.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 /*
  * Check-Offline.cpp

diff --git a/Compiler/__init__.py b/Compiler/__init__.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import compilerLib, program, instructions, types, library, floatingpoint
 import inspect

diff --git a/Compiler/allocator.py b/Compiler/allocator.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import itertools, time
 from collections import defaultdict, deque

diff --git a/Compiler/comparison.py b/Compiler/comparison.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 """
 Functions for secure comparison of GF(p) types.

diff --git a/Compiler/compilerLib.py b/Compiler/compilerLib.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from Compiler.program import Program
 from Compiler.config import *

diff --git a/Compiler/config.py b/Compiler/config.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from collections import defaultdict
 

diff --git a/Compiler/dijkstra.py b/Compiler/dijkstra.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from Compiler.oram import *
 

diff --git a/Compiler/exceptions.py b/Compiler/exceptions.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 class CompilerError(Exception):
     """Base class for compiler exceptions."""

diff --git a/Compiler/floatingpoint.py b/Compiler/floatingpoint.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from math import log, floor, ceil
 from Compiler.instructions import *

diff --git a/Compiler/graph.py b/Compiler/graph.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import heapq
 from Compiler.exceptions import *

diff --git a/Compiler/gs.py b/Compiler/gs.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import sys
 import math

diff --git a/Compiler/instructions.py b/Compiler/instructions.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 """ This module is for classes of actual assembly instructions.
 

diff --git a/Compiler/instructions_base.py b/Compiler/instructions_base.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import itertools
 from random import randint

diff --git a/Compiler/library.py b/Compiler/library.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from Compiler.types import cint,sint,cfix,sfix,sfloat,MPCThread,Array,MemValue,cgf2n,sgf2n,_number,_mem,_register,regint,Matrix,_types, cfloat
 from Compiler.instructions import *

diff --git a/Compiler/oram.py b/Compiler/oram.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import random
 import math

diff --git a/Compiler/path_oram.py b/Compiler/path_oram.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 if '_Array' not in dir():
     from oram import *

diff --git a/Compiler/permutation.py b/Compiler/permutation.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from random import randint
 import math

diff --git a/Compiler/program.py b/Compiler/program.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from Compiler.config import *
 from Compiler.exceptions import *

diff --git a/Compiler/tools.py b/Compiler/tools.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import itertools
 

diff --git a/Compiler/types.py b/Compiler/types.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 from Compiler.program import Tape
 from Compiler.exceptions import *

diff --git a/Compiler/util.py b/Compiler/util.py
@@ -1,4 +1,4 @@
-# (C) 2017 University of Bristol. See License.txt
+# (C) 2018 University of Bristol. See License.txt
 
 import math
 import operator

diff --git a/Exceptions/Exceptions.h b/Exceptions/Exceptions.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _Exceptions
 #define _Exceptions

diff --git a/ExternalIO/README.md b/ExternalIO/README.md
@@ -1,4 +1,4 @@
-(C) 2017 University of Bristol. See License.txt.
+(C) 2018 University of Bristol. See License.txt.
 
 The ExternalIO directory contains examples of managing I/O between external client processes and SPDZ parties running SPDZ engines. These instructions assume that SPDZ has been built as per the [project readme](../README.md).
 

diff --git a/ExternalIO/bankers-bonus-client.cpp b/ExternalIO/bankers-bonus-client.cpp
@@ -1,5 +1,5 @@
 /*
- * (C) 2017 University of Bristol. See License.txt
+ * (C) 2018 University of Bristol. See License.txt
  *
  * Demonstrate external client inputing and receiving outputs from a SPDZ process, 
  * following the protocol described in https://eprint.iacr.org/2015/1006.pdf.

diff --git a/ExternalIO/bankers-bonus-commsec-client.cpp b/ExternalIO/bankers-bonus-commsec-client.cpp
@@ -1,5 +1,5 @@
 /*
- * (C) 2017 University of Bristol. See License.txt
+ * (C) 2018 University of Bristol. See License.txt
  *
  * Demonstrate external client inputing and receiving outputs from a SPDZ process, 
  * following the protocol described in https://eprint.iacr.org/2015/1006.pdf. 
@@ -274,10 +274,10 @@ void generate_symmetric_keys(vector<octet*>& keys, vector<int>& client_public_ke
         keys[i] = new octet[crypto_generichash_BYTES];
         keyfile.read((char*)server_publickey, crypto_box_PUBLICKEYBYTES);
         if (keyfile.eof())
-            throw end_of_file(client_filename.str(), "server public key for party " + i);
+            throw end_of_file(client_filename.str(), "server public key for party " + to_string(i));
         keyfile.read((char*)(&sts_key->server_publickey[i][0]), crypto_sign_PUBLICKEYBYTES);
         if (keyfile.eof())
-            throw end_of_file(client_filename.str(), "server public signing key for party " + i);
+            throw end_of_file(client_filename.str(), "server public signing key for party " + to_string(i));
 
         // Derive a shared key from this server's secret key and the client's public key
         // shared key = h(q || client_secretkey || server_publickey)

diff --git a/FHE/AddableVector.h b/FHE/AddableVector.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 /*
  * AddableVector.h
@@ -19,9 +19,15 @@ class AddableVector: public vector<T>
 public:
     AddableVector<T>() {}
     AddableVector<T>(size_t n, const T& x = T()) : vector<T>(n, x) {}
-    AddableVector<T>(const FFT_Data& FTD) { (void)FTD; }
     template <class U, class FD, class S>
-    AddableVector<T>(const Plaintext<U,FD,S>& other) : vector<T>(other.get_poly()) {}
+    AddableVector<T>(const Plaintext<U,FD,S>& other) :
+            AddableVector<T>(other.get_poly()) {}
+
+    template <class U>
+    AddableVector<T>(const vector<U>& other)
+    {
+        this->assign(other.begin(), other.end());
+    }
 
     template <class U>
     void allocate_slots(const U& init)
@@ -138,6 +144,11 @@ class AddableVector: public vector<T>
         return res;
     }
 
+    bool is_binary() const
+    {
+        throw not_implemented();
+    }
+
     size_t report_size(ReportType type)
     {
 	size_t res = 4;

diff --git a/FHE/Ciphertext.cpp b/FHE/Ciphertext.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #include "Ciphertext.h"
 #include "Exceptions/Exceptions.h"

diff --git a/FHE/Ciphertext.h b/FHE/Ciphertext.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _Ciphertext
 #define _Ciphertext
@@ -66,7 +66,7 @@ class Ciphertext
   friend void mul(Ciphertext& ans,const Ciphertext& c0,const Ciphertext& c1,const FHE_PK& pk);
   template<class T,class FD,class S> friend void mul(Ciphertext& ans,const Plaintext<T,FD,S>& a,const Ciphertext& c);
   template<class T,class FD,class S> friend void mul(Ciphertext& ans,const Ciphertext& c,const Plaintext<T,FD,S>& a)
-     { mul(ans,a,c); }
+     { ::mul(ans,a,c); }
 
   void mul(const Ciphertext& c, const Rq_Element& a);
 

diff --git a/FHE/DiscreteGauss.cpp b/FHE/DiscreteGauss.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 
 #include "DiscreteGauss.h"

diff --git a/FHE/DiscreteGauss.h b/FHE/DiscreteGauss.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _DiscreteGauss
 #define _DiscreteGauss

diff --git a/FHE/FFT.cpp b/FHE/FFT.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 
 #include "FHE/FFT.h"

diff --git a/FHE/FFT.h b/FHE/FFT.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _FFT
 #define _FFT

diff --git a/FHE/FFT_Data.cpp b/FHE/FFT_Data.cpp
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #include "FHE/FFT_Data.h"
 #include "FHE/FFT.h"

diff --git a/FHE/FFT_Data.h b/FHE/FFT_Data.h
@@ -1,4 +1,4 @@
-// (C) 2017 University of Bristol. See License.txt
+// (C) 2018 University of Bristol. See License.txt
 
 #ifndef _FFT_Data
 #define _FFT_Data
@@ -41,6 +41,8 @@ class FFT_Data
 
   void init(const Ring& Rg,const Zp_Data& PrD);
 
+  void init_field() const { gfp::init_field(prData.pr); }
+
   void pack(octetStream& o) const;
   void unpack(octetStream& o);