I could not find on which algorithm this compiler is based at first sight. I know of an other library for homomorphic encryption Lattigo (https://github.com/tu

I could not find on which algorithm this compiler is based at first sight. I know of an other library for homomorphic encryption Lattigo (https://github.com/tuneinsight/lattigo https://github.com/tuneinsight/lattigo) which is based on Ring Learning with Errors. The security of RLWE is "believed" to be strong (meaning there has not been a proof of the opposite yet). It is based on the Lattice problem which is likely to be resistant even to quantum computers. For a more formal and complete explanation, the paper "A Decade of Lattice Cryptography" was very instructive. https://eprint.iacr.org/2015/939.pdf https://eprint.iacr.org/2015/939.pdf