Encryption and decryption

[WORK IN PROGRESS]

How CKKS encodes plaintexts as RLWE samples, how decryption inverts the process, and the noise budget that makes it all work.