Skip to content

Making BGV/BFV noise estimates more conservative#1007

Merged
dsuponitskiy merged 3 commits intodevfrom
1004-modulus-switching-noise
Jun 27, 2025
Merged

Making BGV/BFV noise estimates more conservative#1007
dsuponitskiy merged 3 commits intodevfrom
1004-modulus-switching-noise

Conversation

@yspolyakov
Copy link
Contributor

@yspolyakov yspolyakov commented Jun 20, 2025

  1. Changed the modulus switching noise expansion factor from $2 \sqrt{N}$ to $4 \sqrt{N}$.
  2. Adjusted the BGV multiplication noise to use the worst-case expansion factor in the last term. In the expression for $c_{mult}$ in https://eprint.iacr.org/2021/204, the last term $r_m$ should be bounded by $\frac{N}{2t}$ instead of $\frac{\delta_R}{2 t}$ as it accounts for the overflow of messages $m$ and $m'$, which are not random.

The net effect is that the noise requirement for each multiplication level is increased by 1 bit (in both BGV and BFV).

@yspolyakov yspolyakov added this to the Release 1.3.1 milestone Jun 20, 2025
@yspolyakov yspolyakov added the bug Something isn't working label Jun 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

3 participants