Gate operation without bootstrapping (leveled execution)

Zama TFHE-rs
1

Hello. I’m wondering if TFHE-rs implements leveled execution for boolean gates. My understanding is that all gates in the boolean API currently perform a bootstrap after each operation. I also found two issues in the original TFHE library indicating that LHE would be implemented in version 2. Given that version 2 hasn’t been released yet, I’m unsure if this development has been carried over to TFHE-rs. Thank you.

Related Github issues

  • github .com/tfhe/tfhe/issues/183
  • github .com/tfhe/tfhe/issues/177
2

hello @nuntipat

tfhe::boolean from TFHE-rs is bootstrapped as you saw

the project is not affiliated with the original tfhe so the development has not been carried over to TFHE-rs.

We currently don’t have plans for leveled boolean implementation.

Cheers