If I remember correctly, there was a paper by chillotti et al on faster packed HE operations for efficient circuit bootstrpping for TFHE. Can that technique be still supported int the current tfhe-rs version? If yes, are there any implementation for this yet?
Hello @divyesh if you are talking about vertical packing there are primitives in core doing that : circuit_bootstrap_boolean_vertical_packing_lwe_ciphertext_list_mem_optimized in tfhe::core_crypto::algorithms::lwe_wopbs - Rust
Can this be extended to tfhe-rs?! If yes, can you provide one example where a vector of Boolean variables are packed and circuit bootstrapping is applied on it?! A second part of this task is, is it be possible to extract a single entry as we do to extract blocks in Radixciphertext?
Not sure I follow what you by extended to TFHE-rs @divyesh this is code from TFHE-rs
Could you describe what you are trying to achieve I’m not sure what you mean with the vector of Boolean variable to pack ?
I want to implement this in tfhe-rs. Can you give me an example code for the same?
Forget all😅. I want to understand the working of the function in the link mentioned. Can you give an end-to-end example code for the same?!
So the formatting is a bit broken but you have an example in circuit_bootstrap_boolean_vertical_packing_lwe_ciphertext_list_mem_optimized in tfhe::core_crypto::algorithms::lwe_wopbs - Rust
look at the part marked # Example
in the text @divyesh