In the GLWE cryptosystem, modulus switching is a process of changing a ciphertext’s modulo domain to a smaller (or larger) one, while ensuring that the ciphertext still decrypts to the same plaintext. For example, suppose we have the ciphertext . If we switch the ciphertext’s modulo from , then the ciphertext is converted into . The ciphertext’s all other components such as the noise () and public keys (, ) are scaled by , becoming , . To switch the modulo of an LWE ciphertext, we use the modulo rescaling technique learned from §A-12. The same modulus switching technique can also be applied to RLWE ciphertexts. In this section, we will show how to switch (i.e., rescale) the modulo of LWE and RLWE ciphertexts and prove its correctness.