Implement CKKS in HEIR
This tracking issue is for the implementation of (at least one variant of) the CKKS FHE scheme as lowering passes in HEIR. This implementation is generally happening inside lib/Dialect/LWE/Conversions/LWEToPolynomial/LWEToPolynomial.cpp
Still TODO:
- Relinearize, basis conversion, key switch: https://github.com/google/heir/issues/2650
- Rotate
- Level_reduce/rescale
- Bootstrap
Done:
- Encrypt/decrypt
- Add/Sub/AddPlain/SubPlain
- Mul (without relinearize)
3 条评论