[Resource Topic] 2019/963: Faster homomorphic encryption is not enough: improved heuristic for multiplicative depth minimization of Boolean circuits

Welcome to the resource topic for 2019/963

Title:
Faster homomorphic encryption is not enough: improved heuristic for multiplicative depth minimization of Boolean circuits

Authors: Pascal Aubry, Sergiu Carpov, Renaud Sirdey

Abstract:

In somewhat homomorphic encryption schemes (e.g. B/FV, BGV) the size of ciphertexts and the execution performance of homomorphic operations depends heavily on the multiplicative depth. The multiplicative depth is the maximal number of consecutive multiplications for which an homomorphic encryption scheme was parameterized. In this work we propose an improved multiplicative depth minimization heuristic. In particular, a new circuit rewriting operator is introduced, the so called cone rewrite operator. The results we obtain using the new method are relevant in terms of accuracy and performance. Smaller multiplicative depths for a benchmark of Boolean circuits are obtained when compared to a previous work found in the literature. In average, the multiplicative depth is highly improved and the new heuristic execution time is significantly lower. The proposed rewrite operator and heuristic are not limited to Boolean circuits, but can also be used for arithmetic circuits.

ePrint: https://eprint.iacr.org/2019/963

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .