一个美丽的承诺
同态加密(Homomorphic Encryption,HE)有一个美丽的承诺:你可以直接在加密数据上进行计算,而不需要解密。 这意味着你可以把加密的数据发送给AI服务商,服务商在加密数据上运行AI模型,然后把加密的结果返回给你。整个过程,服务商从未看到你的原始数据。
这个承诺太美了,以至于它被称为隐私计算的"圣杯"。但2026年了,同态加密在AI领域的应用仍然非常有限。为什么?
同态加密的技术原理
同态加密分为三种类型:
部分同态加密(PHE): 只支持加法或乘法中的一种运算。例如,Paillier加密支持加法同态,RSA加密支持乘法同态。
层级同态加密(LHE): 支持有限次数的加法和乘法运算。BGV(Brakerski-Gentry-Vaikuntanathan)和CKKS(Cheon-Kim-Kim-Song)是两种主流方案。
全同态加密(FHE): 支持任意次数的加法和乘法运算,理论上可以对加密数据执行任意计算。但FHE的计算开销极其巨大。
CKKS是目前在AI应用中最受关注的方案,因为它原生支持浮点数运算(而其他方案通常只支持整数运算)。
同态加密在AI中的应用
应用一:加密推理
将模型加密,用户在加密数据上进行推理,得到加密的结果。只有用户自己可以解密结果。
应用二:加密训练
在加密数据上训练AI模型。这比加密推理更复杂,计算开销也更大。
应用三:隐私保护联邦学习
联邦学习中的模型聚合可以使用同态加密——各方加密自己的模型更新,服务器在加密域中聚合,然后各方解密得到聚合后的模型。
为什么还没火起来?
原因一:性能开销是天文数字
这是最大的障碍。同态加密的计算开销比明文计算高1000到100万倍,取决于具体的方案和参数。
实测数据: 我们在CKKS方案下测试了ResNet-18在加密数据上的推理:
- 明文推理(单张图片):0.03秒
- 加密推理(单张图片):超过60秒
- 性能开销:约2000倍
这意味着,如果一个AI服务需要100毫秒响应,使用同态加密后需要200秒。这在用户体验上是不可接受的。
原因二:只支持有限的操作
同态加密只支持加法和乘法。这意味着:
- 不能直接使用ReLU激活函数(需要近似)
- 不能直接使用Max Pooling(需要替代方案)
- 不能直接使用if-else分支
- 不能直接使用除法
你需要重新设计神经网络架构,使其兼容同态加密的运算约束。这极大地限制了模型设计的选择。
原因三:密文膨胀
加密后的数据比原始数据大得多。典型情况下,CKKS密文比明文大100-1000倍。这意味着:
- 存储成本大幅增加
- 通信带宽需求大幅增加
- 内存需求大幅增加
原因四:工程复杂度高
同态加密的参数选择非常复杂,需要深入的密码学知识。选错参数可能导致安全隐患或性能灾难。这不是一个"导入库就能用"的技术。
原因五:硬件加速还不成熟
虽然有研究在GPU和FPGA上加速同态加密,但距离成熟的硬件加速方案还有相当距离。目前大部分同态加密计算仍然在CPU上运行,速度很慢。
同态加密什么时候能火?
我认为同态加密在AI中的大规模应用需要满足以下条件:
- 性能提升100倍以上: 通过算法改进和硬件加速,使加密计算的开销降低到可接受的水平(10-100倍)
- 专用AI硬件: 出现专门为同态加密AI推理设计的芯片
- 框架成熟: 出现易用的同态加密AI框架,降低使用门槛
- 场景驱动: 找到对隐私要求极高且对延迟不敏感的场景(如离线批量处理)
乐观估计: 3-5年内,同态加密在特定场景(如医疗数据离线分析、金融合规审查)中可能开始规模化应用。但全面普及还需要更长时间。
当前替代方案
如果你需要隐私保护AI,但同态加密的性能不可接受,可以考虑以下替代方案:
- 可信执行环境(TEE): 如Intel SGX、AMD SEV,在硬件隔离的环境中执行计算。性能开销低(约5-20%),但需要信任硬件厂商。
- 安全多方计算(MPC): 多个参与方协同计算,在不泄露各自输入的情况下得到计算结果。通信开销大,但计算开销低于同态加密。
- 联邦学习 + 差分隐私: 数据不出本地,梯度加噪声。隐私保护程度不如同态加密,但实用性强得多。
写在最后
同态加密是隐私计算领域最优雅的技术之一,但它目前还不是AI隐私保护的实用方案。它的美丽承诺和残酷现实之间,还需要很多年的工程努力来填补。
如果你对同态加密在AI中的应用感兴趣,建议关注CKKS方案的进展、专用AI硬件的发展,以及Zama(Concrete框架)等在工程化方面做得比较好的团队。
你尝试过在AI中使用同态加密吗?体验如何?欢迎分享。