Support Higher Dimensional Ciphertexts and Keys for TFHE when Lowering RLWE to Polynomial
Open
dialect: lwe
- Dominant language
- MLIR
- Stars
- 906
- Forks
- 171
- Avg merge
- 4d 12h
- Merged PRs (30d)
- 32
Description
Currently, our lowering for RLWE to Polynomial does not handle TFHE. Other schemes, like BGV have ciphertexts composed of 2 polynomials and a secret key composed of 1 polynomial; however, TFHE supports higher dimensional ciphertexts and Keys. See [this link](https://www.zama.ai/post/tfhe-deep-dive-part-1) for details on TFHE encryption and decryption. Also, see [LWEToPolynomial.cpp](https://github.com/google/heir/blob/main/lib/Conversion/LWEToPolynomial/LWEToPolynomial.cpp) for where to adjust code.
See also #882.
Contributor guide
Assessment
This issue has not been assessed yet.