3.5 家族谱系：TFHE 与三代方案选型对比

3.5 家族谱系：TFHE 与三代方案选型对比

本节摘要：TFHE 把 GSW 路线推到毫秒级的门自举，并附赠"可编程自举"（刷新同时查表算函数）。本节先讲清它做了什么，再把整数、近似、布尔三条线放进同一张对比矩阵，给出按负载选型的决策流程与参数速查，收束第三章的谱系叙事。

布尔家族的终点：毫秒级门自举

FHEW 在二零一四年证明了自举可以跑进一秒（约零点七秒），它的诀窍是把"自举一个通用密文"改造成"自举一个比特"——比特的世界里解密电路可以被压缩到极致，再借助一个被称为盲旋转的核心操作（用密文控制一组预计算旋转的选择过程，本质是外积的快速实现），刷新成本骤降。TFHE 在二零一六年把这根线压到十几毫秒一次门自举，同时让每个门的自举过程天然携带一张查找表——刷新密文的同时顺便把任意函数作用到明文上，这就是可编程自举。

可编程自举的意义怎么强调都不过分。同态世界的加乘电路对非线性函数（比较、取整、激活函数、除法）向来笨拙，要用多项式逼近，深度与精度两头受气；有了可编程自举，这些函数变成"一次刷新加一次查表"，比较运算从数层的逼近电路变成单次毫秒级操作。TFHE 的明文粒度也灵活：比特、小整数、甚至小查表都行，代价是单个密文装的东西少（与 BFV 的数千槽对比鲜明），靠门级并行与摊销找补。工程上的典型数字：单门自举十几毫秒，一个六比特整数乘法做下来在百毫秒量级；如果负载是大量独立的位级运算（比较、过滤、布尔逻辑），摊销吞吐可观，但若是大向量矩阵乘，CKKS 的打包优势会反超一个数量级以上。

三线对比矩阵

至此，谱系的三个分支都到齐了：整数精确线（BGV、BFV）、浮点近似线（CKKS）、布尔灵活线（GSW、FHEW、TFHE）。把它们放进一张矩阵，选型逻辑一目了然。

图：主流方案家族对比矩阵

矩阵底部的注释指向一个重要趋势：现代系统越来越常见"混搭"。隐私推理的典型做法是线性层（矩阵乘）交给 CKKS 的打包摊销，非线性层（激活、比较）切换到 TFHE 的可编程自举，两者之间用格式转换衔接。单方案的纯粹性正在让位于负载的切分艺术，这是选型思维从"选一个方案"升级到"设计一条流水线"的标志。

选型决策流程

把矩阵读成流程，四个问题依次回答即可定位：

流程之外再给一张参数速查的直觉表（精确数值随安全标准更新，以附录速查表为准）：整数线常用维度四千零九十六、系数模数约一百零九比特、明文模数约二十比特；近似线常用维度八千一百九十二、模数链二百一十八比特左右、缩放因子四十比特；布尔线维度几百到一千零二十四、模数三十到六十比特、明文一比特到几比特。三套配置的安全档都要按第四章的估计器复核，不能抄论文里的旧参数直接上线——密码学工程的纪律是参数随时间贬值。

⚠️ 常见坑：把"TFHE 自举快"误读成"TFHE 什么都快"。门自举十几毫秒是单比特操作的成本，做整向量矩阵乘时它没有打包摊销，吞吐反而被 CKKS 反超数个数量级。快与慢从来相对于负载形状，不相对于方案名字。

谱系的现状与未竟之事

到本章结束，二零零九年到二零一七年的方案爆发期收场：三条线各有成熟实现与典型负载，学术上的新方案命名潮逐渐平息（后续多为改进与组合，如自举加速、转换协议、混合编译器）。谱系未竟之事清晰可见：跨方案格式转换的标准化（混搭流水线的接口）、自举成本再降一个数量级（硬件路线，第六章）、以及把选型决策自动化（编译器路线，第六章生态节）。这些进行时的方向，构成从"方案时代"到"系统时代"的过渡。

• 要点一：TFHE 用盲旋转把门自举压到十几毫秒，可编程自举让非线性函数变成"刷新加查表"
• 要点二：三线分工——整数精确、浮点近似、布尔灵活；现代趋势是按层切分负载做混合流水线
• 要点三：选型四问——数值形态、向量规模、深度形状、非线性密度；参数必须按当前安全估计复核
• 要点四：快慢是负载形状的函数，单比特快不等于整向量快，反过来也一样

四、选型的实战决策卡

把家族谱系收成一张可执行的选型决策卡。第一问，计算是算术还是逻辑：线性层、卷积、统计聚合是算术，走 BGV/BFV/CKKS 阵营；比较、阈值、检索、正则匹配是逻辑，走 TFHE 阵营；隐私机器学习推理两头都有，主流做法是线性部分 CKKS 加比较部分 TFHE 的混合引擎。第二问，数字要不要近似：科学计算与金融统计多数容忍近似，CKKS 的效率红利要吃；账本与合规计算必须精确，回到整数系。第三问，深度预算多少：层数浅（十几层以内）任意方案都轻松，深度大要盯自举成本——TFHE 每门电路都自举但单次极快， leveled 方案自举一次很贵但可摊薄。第四问，谁来维护参数：团队若没有格密码背景，选参数管理自动化程度高的库，把安全参数的选择权交给经过审计的默认值——自己拍脑袋取参数是同态工程里最危险的自由发挥。四问之后，方案的候选通常收敛到一两个；这时候再回头读各方案的论文细节，效率会高一个数量级——选型卡的价值就在于把阅读成本砍到只读该读的。

再补一个谱系记忆法：把五代方案放进一句家史里记——第一代学会了加法（RSA 与 ElGamal 的部分同态），第二代学会乘法但代价惨重（Gentry 的自举首航），第三代学会精打细算（BGV/BFV 的 leveled 菜单与模交换），第四代学会与实数世界和解（CKKS 的近似计算），第五代学会把自举做成家常便饭（TFHE 系的毫秒级门自举）；家史的最后还有一位编外成员——近似特征向量框架（GSW），它不是某一代，而是好几代的共同骨架。用家史叙事记忆，面试与评审时顺着讲一遍，方案间的关系自然脱口而出。