I would like to share a really nice article describing the OpenFHE backend for the Google Transpiler written by @dcousins : The Google Transpiler & OpenFHE: Making Computation with Homomorphic Encryption a Reality It also gives a nice introduction to FHE for Boolean circuits.