5.2.2 压扁解密电路 (Squashing)

文档摘要

5.2.2 压扁解密电路 (Squashing) 在全同态加密（FHE）的演进史中，Gentry 的 2009 年博士论文如同一道劈开混沌的闪电——它首次严格证明了“计算可加密”这一看似悖论的命题在理论上是成立的。但理论存在 ≠ 实用可行。彼时的方案，其解密函数 $\mathsf{Dec}\mathsf{sk}(\cdot)$ 本身是一个深度为 $\Omega(\lambda^2)$ 的布尔电路（$\lambda$ 为安全参数），而 FHE 要求对任意电路进行同态评估，包括对自身解密逻辑的评估。这就陷入了一个致命的“自指困境”：若想同态执行一次解密，需先将解密电路编译成同态可计算的形式；而该编译过程又依赖于一个“足够浅”的解密电路——否则噪声增长失控、密文坍塌、整个系统归零。