You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently for heir-simd-vectorizer/tensor_ext::rotate to work (i.e. HECO-style optimization like rotate-and-reduce), we assumed a cyclic repetition packing in the ciphertext slot (also assumes the plaintext slot num divides ct slot num).
However, this is handled in emitter (i.e. #1129 and #1226), the very last stage. As this is enforced by the heir-simd-vectorizer, it is clearly error-prone when we handle the assumption in two places (early pipeline and emitter).
The text was updated successfully, but these errors were encountered:
Subissue for #1191.
Currently for heir-simd-vectorizer/tensor_ext::rotate to work (i.e. HECO-style optimization like rotate-and-reduce), we assumed a cyclic repetition packing in the ciphertext slot (also assumes the plaintext slot num divides ct slot num).
However, this is handled in emitter (i.e. #1129 and #1226), the very last stage. As this is enforced by the heir-simd-vectorizer, it is clearly error-prone when we handle the assumption in two places (early pipeline and emitter).
The text was updated successfully, but these errors were encountered: