google / google/heir

Support Higher Dimensional Ciphertexts and Keys for TFHE when Lowering RLWE to Polynomial

Open
#834 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.