CKKS 同态加密中的密钥切换与重线性化

CKKS 同态加密教程讲解重线性化：将密文乘法产生的三元组密文（在 (1, s, s²) 下解密）转回二元组密文（在 (1, s) 下解密），并指出重线性化是密钥切换的特例。朴素密钥切换的噪声增长过大，需借助 gadget decomposition 解决；文中还实现了明文-密文加乘运算，代码见对应 pull request。