Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis

Julien de Castelnau, Mingfei Yu, Giovanni De Micheli

Fully Homomorphic Encryption (FHE) is a promising privacy-preserving technology enabling secure computation over encrypted data. A major limitation of current FHE schemes is their…