电路不可区分混淆及其在安全中的应用

本文讨论了 Nick 类电路的 $i\mathcal{O}$（不可区分混淆器）。该混淆器通过使用多线性拼图框架对 Barrington 定理给出的分支程序进行编码而构造。我们将在各种不可区分困难假设下证明，所构造的混淆器是 Nick 类的一个 $i\mathcal{O}$。利用全同态加密，我们将该结果进行放大并构造了 $\textbf{P}/poly$（多项式规模电路）的 $i\mathcal{O}$。本文还包含对 $i\mathcal{O}$ 与函数加密的讨论。