Support non-tensor types as input to `lwe.rlwe_encode` in lowerings to BGV/OpenFHE

google / heir

A compiler for homomorphic encryption

https://heir.dev/

Apache License 2.0

309 stars 46 forks source link

Support non-tensor types as input to `lwe.rlwe_encode` in lowerings to BGV/OpenFHE #646

Closed j2kun closed 2 weeks ago

github-actions[bot] commented 5 months ago

This issue has 1 outstanding TODOs:

lib/Conversion/LWEToOpenfhe/LWEToOpenfhe.cpp:85: support scalar inputs to encode.

This comment was autogenerated by todo-backlinks

asraa commented 3 weeks ago

The linked issue #645 also describes how to encode short tensors - I suspect this will be handled by layout assignments / packing techniques to determine padding and replication strategies.

In the meantime, I'm adding support for scalars as replicated in plaintext slots, which will ensure correct behavior for scalar programs (i'll send a PR in a sec, happy to hear feedback)