学过线性代数的人，大多都见过“向量空间定义在某个域上”这句话，却未必理解为什么必须是域，而不是整数或自然数。事实上，线性代数的核心并不只是计算向量、矩阵和行列式，而是研究线性关系如何被稳定地表示、变换和求解；为了保证这些操作不会因缺少逆元、无法除法或规则不完备而失效，就必须依托一个足够自洽的基础数系，而这个数系正是域。

全同态加密（FHE）被誉为“密码学的圣杯”。不同于 BGV 或 BFV 方案死磕精确整数计算，CKKS 方案另辟蹊径，完美支持了近似浮点数运算。这一特性让它在隐私保护机器学习（PPML）领域大放异彩。本文将带你扒开公式的外衣，从数学基础到算法全流程，彻底搞懂 CKKS 的底层逻辑。