Heuristic for mapping Boolean circuit to TFHE functional bootstrappings

This repository contains the code used in paper A fast heuristic for mapping Boolean circuits to functional bootstrapping.

How to run the experiments

Preliminaries

Go to experiments directory:

cd experiments

Clone and patch concrete to support non power-of-two parameters:

git clone https://github.com/zama-ai/concrete.git -b nightly-2024.04.17
(cd concrete; git apply ../concrete.patch)

Install required python packages:

pip3 install -r requirements.txt

Note

Minimum Python version 3.10 required

Run benchmarks

bash run_benchmarks.sh

Analyse results

cd outputs
python3 analyse_results.py