This is a demonstration and exploration of the use of the HElib library for homomorphic encryption. Currently it contains a homomorphic implementation of the SIMON block cipher (see the NSA whitepaper).

There are two dependencies - HElib and NTL (required by HElib). The makefile is set up to download and build them to the deps directory automatically. Simply compile everything with

make

Note that you may need to tweak some of the build flags to get it to run on your system.

• multest - test how many times HElib can homomorphically square 1.

• simon-blocks - homomorphic version of the SIMON block cipher.

• simon-simd - homomorphic version of the SIMON block cipher with SIMD optimization.

• simon-plaintext-test - plaintext version of the SIMON block cipher for benchmarking.

• aes - homomorphic implementation of AES128

• simon-plaintext.{h,cpp} - plaintext version of SIMON for testing

• simon-util.{h,cpp} - data transformation functions

• helib-instance.{h,cpp} - encapsulation of HElib's extensive boilerplate

• helib-stub.{b,cpp} - fake HElib functions for plaintext evaluation and verification

• aes.cry - Cryptol implementation of AES128

• simon.cry - Cryptol implemenation of SIMON64/128

• ntl.vector.h.patch - removes an unnecessary line in NTL that causes many warnings

• makefile-helib - modified HElib makefile to use the locally built NTL

Call make with argument STUB=1 in order to activate the HElib stub framework, which replaces HElib with a pretend, plaintext version. Useful for debugging.

Copyright (c) 2013-2014 Galois, Inc.

This software is distributed under the terms of the GNU General Public Licence v3. See the LICENCE file for details.