Authors: Youngjin Bae, Jung Hee Cheon, Jaehyung Kim, Damien Stehlé
Context: RLWE-based schemes (CKKS) offer high throughput via SIMD. LWE-based schemes (TFHE) offer low latency for binary circuits.
Thesis: By redesigning the EvalMod step explicitly for binary inputs, we unlock massive modulus savings and performance gains in CKKS.
εq/4The Compatibility Gap: CKKS uses scaling factor Δ ≪ q, DM/CGGI uses q/4. Standard CKKS bootstrapping requires a ~10-bit gap between Δ₀ and q₀, which is incredibly wasteful for simple binary bits.
Binary Bootstrapping
Δ₀ = q₀/2 (saves >100 bits of modulus)Combined Eval & Bootstrap
Format Compatibility
N = 2¹⁴By reducing q₀ / Δ₀ from 2¹³ down to 2, the proposed BinBoot saves 12 bits of modulus for all levels corresponding to CtS and EvalMod. This translates directly to more functional depth.
Extra depth available for actual computation inside a bootstrapping cycle.
| Parameter Set | Base (q₀) | Depth |
|---|---|---|
| BLEACH | 2⁵⁸ | 7 |
| Proposed (Naive) | 2⁴⁶ | 13 |
| Proposed (Optimized) | 2³¹ | 29 |
Tested on Intel Xeon Gold 6242 @ 2.8GHz, Single-threaded.
| Implementation | Time/gate |
|---|---|
| LMSS23 (CGGI) | 16.49 ms |
| CGGI16b (TFHE) | 10.5 ms |
| BLEACH improved | 27.7 µs |
| BinBoot (This work) | 17.6 µs |
N=2¹⁴h₁ step consumes 2 extra multiplication levels).011221311 — Abdul Taha Mahmud
011221571 — Shahrier Azad Shezan