Indeed I didn't remember it correctly: According to https://tfhe.github.io/tfhe/ https://tfhe.github.io/tfhe/ states: > Each binary gate takes about 13 millis

Indeed I didn't remember it correctly: According to https://tfhe.github.io/tfhe/ https://tfhe.github.io/tfhe/ states: > Each binary gate takes about 13 milliseconds single-core time to evaluate, which improves [DM15] by a factor 53, and the mux gate takes about 26 CPU-ms Addition of two bits can be implemented using 5 binary gates (fulladder) Hence to add 2 32 bit numbers ~416ms => 2 additions per second EDIT: Shame I cannot edit my original post