heir
heir copied to clipboard
FPT: multidimensional tensor support
@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
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