[Resource Topic] 2017/483: A multi-start heuristic for multiplicative depth minimization of boolean circuits

Welcome to the resource topic for 2017/483

Title:
A multi-start heuristic for multiplicative depth minimization of boolean circuits

Authors: Sergiu Carpov, Pascal Aubry, Renaud Sirdey

Abstract:

In this work we propose a multi-start heuristic which aims at minimizing the multiplicative depth of boolean circuits. The multiplicative depth objective is encountered in the field of homomorphic encryption where ciphertext size depends on the number of consecutive multiplications. The heuristic is based on rewrite operators for multiplicative depth-2 paths. Even if the proposed rewrite operators are simple and easy to understand the experimental results show that they are rather powerful. The multiplicative depth of the benchmarked circuits was hugely improved. In average the obtained multiplicative depths were lower by more than 3 times than the initial ones. The proposed rewrite operators are not limited to boolean circuits and can also be used for arithmetic circuits.

ePrint: https://eprint.iacr.org/2017/483

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 .