heir icon indicating copy to clipboard operation
heir copied to clipboard

FPT: multidimensional tensor support

Open asraa opened this issue 7 months ago • 1 comments

@WoutLegiest

For the FPT code emission using --emit-tfhe-rust-bool, a memref<16x8x!tfhe_rust_bool.eb> is emitted as a Vec<Ciphertext> - should it be OK to use Vec<Vec<Ciphertext>>? The inner vecs are all the same size - but maybe this is a pain

asraa avatar May 08 '25 19:05 asraa

Iirc, now, the memref are just flattend to one dimension. I dont see a problem to convert everything to the correct dimension. Just keep in mind, that the packed API for the boolean emitter (for now) does take a one dimensional vector. If wanted, we can also change the packed API to take in higher dimension

WoutLegiest avatar May 09 '25 08:05 WoutLegiest