Packing in tfhe-rs

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 :thinking:

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?

But this is from TFHE-rs :sweat_smile: I’m confused @divyesh

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