Home

Welcome to the SoK wiki 👋 This wiki accompanies the paper SoK: FHE Compilers & Optimizations and provides additional notes and remarks on the investigated tools. The FHE compilers and optimizations considered are summarized following:

Tool/Technique	Code	License
ALCHEMY 📄	GitHub	GPL-3.0
Cingulata1 📄 (incl. CinguParam 📄)	GitHub, GitHub	CeCILL-C
Cingulata (incl. CinguParam) + Multi Start 📄	closed source	--
Cingulata (incl. CinguParam) + Cone Rewriting 📄	closed source	--
Cingulata (incl. CinguParam) + Lobster 📄	ACM DL	free
EVA 📄	closed source	--
nGraph-HE 📄 📄	GitHub	Apache-2.0
Ramparts 📄	closed source	--
SEALion 📄	closed source	--

¹ Previously known as Armadillo.

Questions and suggestions about this work should be publicly raised in the repository's issue tracker. PRs containing extensions or corrections are welcome!

Evaluation Metrics

In the paper, we define a set of metrics to compare the optimization techniques implemented in the compilers. The metrics that we consider are:

• Expressiveness^*

  The variety of programs that the tool supports (e.g., integer numbers only).

• Accessibility/Usability^*

  The extent of available documentation, code comments, examples, and other user-oriented documentation.

• Capabilities^*

  Features of a tool.

• Performance/Speedup (run time) + memory consumption

  Time and resource consumption while executing a program.

• Compilation/Optimization time

  Time required to build the program that can be executed afterwards.

Metrics marked by a star (^*) do not require executing a program. For full explanations of the criteria, please refer to the paper.

The following symbols are used to denote fulfillment of a criteria:

●  yes, supported
◐  partially supported (see paper)
○  no, not supported
-  not applicable

Basic Information