Awesome
<h1 align="center">T2: A cross compiler and standardized benchmarks for FHE computation <a href="https://github.com/TrustworthyComputing/T2-FHE-Compiler-and-Benchmarks/blob/master/LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg"></a> </h1> <p align="center"> <img src="./logos/t2-logo.png" height="20%" width="20%"> </p>Overview
T2 is an extensible cross compiler and standardized benchmark suite enabling comparisons between fully-homomorphic encryption (FHE) libraries. The T2 repository comprises the T2 DSL and the T2 compiler from T2 DSL to state-of-the-art FHE back-ends.
T2 aims to offer a standardized benchmark suite for FHE that encompasses realistic use-cases. Additionally, the T2 compiler offers a great starting point to explore the different backends (e.g., HElib, Lattigo, PALISADE, SEAL, and TFHE) as a single T2 program is effortlessly transpiled to all supported FHE libraries.
The T2 compiler supports three distinct computational models: Integer, Binary, and Floating-Point domains. Each domain utilizes different sets of functional units, some of which are inherently supported by the backends, while others are implemented on top of the FHE back-ends. This allows users to compare the different domains and find the most efficient for their applications.
T2 is the spiritual successor to the TERMinator suite repository, which includes benchmarks tailored to encrypted computation. The original Terminator suite targets partially homomorphic architectures, however, since its release, fully homomorphic encryption (FHE) has become increasingly popular and more viable. To account for this, T2 targets FHE architectures by modifying the original benchmarks as well as adding new additions.
How to cite this work
The SoK outlining this framework appears in PoPETS 2023 (the preprint can be accessed here). An earlier journal article describing the original Terminator suite can be accessed here, while the authors' version is available here. You can cite these articles as follows:
@Article{PoPETS:Gouert23sok,
author = "Charles Gouert and
Dimitris Mouris and
Nektarios Georgios Tsoutsos",
title = "{SoK: New Insights into Fully Homomorphic Encryption Libraries via Standardized Benchmarks}",
volume = 2023,
month = Jul,
year = 2023,
publisher = sciendo,
journal = "{Proceedings on Privacy Enhancing Technologies}",
number = 3,
pages = "154–172",
doi = "10.56553/popets-2023-0075",
}
@Article{IEEECAL:Mouris18terminator,
author = "Dimitris Mouris and
Nektarios Georgios Tsoutsos and
Michail Maniatakos",
title = "{TERMinator Suite: Benchmarking Privacy-Preserving Architectures}",
journal = "IEEE Computer Architecture Letters",
year = "2018",
volume = "17",
number = "2",
pages = "122-125",
doi = "10.1109/LCA.2018.281281"}
}
Supported Homomorphic Encryption Libraries
<div style="background-color:#FFFF; color:#1A2067; border: solid #718096 4px; border-radius: 4px;"> <p> <img src="./logos/t2-compiler.png" align="right" height="40%" width="40%" padding=10em> <a href="https://github.com/tuneinsight/lattigo">Lattigo</a> v4.1.0 <a href="https://github.com/tuneinsight/lattigo/commit/adf762375670e412bab261cd7ffff9ca03777ad5">adf7623</a> <br> <a href="https://github.com/homenc/HElib">HElib</a> v2.2.2 <a href="https://github.com/homenc/HElib/commit/d7be6f0dca6fa6cad2b2a0923d024ac27ce2e445">d7be6f0</a> <br> <a href="https://gitlab.com/palisade/palisade-release/">PALISADE</a> v1.11.9 <a href="https://gitlab.com/palisade/palisade-release/-/commit/3d1f9a3f9fd389df1f8f27f286511f4f5871258b">3d1f9a3f</a> <br> <a href="https://github.com/microsoft/SEAL">Microsoft SEAL</a> v4.1.1 <a href="https://github.com/microsoft/SEAL/commit/206648d0e4634e5c61dcf9370676630268290b59">206648d</a> <br> <a href="https://github.com/tfhe/tfhe">TFHE</a> v1.0.1 <a href="https://github.com/tfhe/tfhe/commit/6297bc72d9294e6e635738deb2e8dc7e4ff8bc61">6297bc7</a> <br> </p> </div> <br>Build and Run Instructions
Building with Docker
- Build the Docker image:
docker build -t t2 .
- Run the Docker container:
docker run --rm -i -t t2 bash
Building from Scratch
Tested on Ubuntu 22.04 LTS with Java 8, 9, and 19. For Lattigo, we used go version 1.17.6 and 1.18.1.
Dependencies
-
apt install cmake make build-essential g++ clang autoconf javacc patchelf openjdk-8-jdk maven m4 tar lzip libfftw3-dev
- Go-lang
- Follow and modify clone_libs.sh and build_libs.sh scripts to install the FHE libraries in your custom destinations.
Compile the T2 compiler
mvn initialize package
To skip running the test when compiling the T2 compiler run:
mvn package -Dmaven.test.skip
Compile T2 programs
To compile a T2 program type:
java -jar target/terminator-compiler-1.0.jar <path_to_t2_file> [--debug] <LIB> [--w word_size]
where <LIB>
can be one of HElib
, Lattigo
, SEAL
, PALISADE
, and TFHE
. For instance:
Example of compiling a T2 program for SEAL:
java -jar target/terminator-compiler-1.0.jar src/test/resources/tests/arithmetic.t2 --seal
will use SEAL
as the back-end over the integers.
Example of compiling a T2 program for Lattigo in the binary domain:
java -jar target/terminator-compiler-1.0.jar src/test/resources/tests/bin_test.t2 --lattigo --w 6
will use Lattigo
as the back-end in the binary domain. The T2 compiler
automatically detects the appropriate scheme (i.e., BFV/BGV
or CKKS
) based
on the type of the encrypted variables that the T2 program uses (i.e.,
EncInt
or EncDouble
).
Example of compiling a T2 program for SEAL in the floating-point domain:
java -jar target/terminator-compiler-1.0.jar src/test/resources/tests/ckks_test.t2 --seal
will use SEAL
with the CKKS
scheme.