Suppose we have a GLWE ciphertext ct and a new plaintext polynomial as follows:
: a new plaintext polynomial
: a -scaled new plaintext polynomial
Letβs define the following ciphertext-to-plaintext addition operation:
Then, the following is true:
SummaryΒ C-2 GLWE Homomorphic Addition with a Plaintext
This means that adding a (-scaled) plaintext polynomial to a GLWE ciphertext that encrypts and decrypting it yields .
Proof.
This means that form the ciphertext
Noise Growth: Note that after decryption, the original ciphertext βs noise stays the same as before. This means that ciphertext-to-plaintext addition does not increase the noise level.