D-4.2 Encryption and Decryption

BGV’s encryption and decryption scheme is very similar to BFV’s scheme (Summary D-2.3 in §D-2.3) with a small difference: while BFV scales the plaintext polynomial M(X) by Δ, BGV scales the noise polynomial E(X) by Δ. In BFV, each encoded plaintext polynomial M(X) is scaled by Δ = q t. This strategy effectively shifts each plaintext coefficient value to the most significant bits while keeping the noise in the least significant bits. On the other hand, BGV does not scale the plaintext polynomial M(X), but instead it scales each new noise E(X) by Δ = t, making the noise ΔE(X), which is newly generated upon each new ciphertext creation. This different scaling strategy effectively shifts the noise (i.e., ei) to the most significant bits by scaling it by Δ = t while keeping the plaintext value (i.e., mi) M(X)’s each coefficient in the least significant bits.

Also, in BGV, the ciphertext modulus q is leveled like CKKS’s one: q {q0,q1,,qL}, where each ql = i=0lwi (where each wi is a CRT modulus).

BGV’s encryption decryption process is described as follows:

Summary D-4.2 BGV Encryption and Decryption

Initial Setup:


Encryption Input: M Rn,q, A $Rn,q, E χσRn,q

1.
Compute B = A S + M + ΔE  Rn,q
2.
𝖱𝖫𝖶𝖤S,σ(M + ΔE) = (A,B)  Rn,q2


Decryption Input: C = (A,B)  Rn,q2

1.
𝖱𝖫𝖶𝖤S,σ1(C) = B + A S = M + ΔE(𝑚𝑜𝑑q)
2.
M = M + ΔE mod t # modulo reduction of M + ΔE by t

The final output is M(X) t[X](Xn + 1)

Conditions for Correct Decryption:

Each coefficient Δei + mi that contains the scaled noise and the plaintext should not overflow or underflow its ciphertext’s any current moment’s multiplicative level l’s ciphertext modulus ql (i.e., Δei + mi < ql)

When restoring the plaintext at the end of the decryption process, while BFV shifts down the plaintext and the noise to the lower bit area (which effectively rounds off the noise), BGV computes  mod p, which effectively modulo-reduces the accumulated noise because every coefficient of E is a multiple of t (i.e., Δ). Finally, only the plaintext polynomial’s each coefficient mi remains in the low-digit area without any noise ei.