It's based on the "Learning With Errors" problem and it's relative, "Ring Learning With Errors", both of which have reductions to lattice crypto problems, the s

It's based on the "Learning With Errors" problem and it's relative, "Ring Learning With Errors", both of which have reductions to lattice crypto problems, the same sort that are in the new NIST proposals for post quantum cryptography. See this article for some more info about how security is evaluated: https://jeremykun.com/2022/12/28/estimating-the-security-of-ring-learning-with-errors-rlwe/ https://jeremykun.com/2022/12/28/estimating-the-security-of-... That said, the compiler itself doesn't use any crypto. It generates code for a backend API, and the backend implements the FHE scheme