48、公开可审计功能加密技术解析

公开可审计功能加密技术解析

1. 预备知识

在深入了解公开可审计功能加密（PAFE）之前，我们需要掌握一些必要的密码学背景知识。

1.1 通用符号

• 用 (F = {F_{\lambda}} {\lambda \in \mathbb{N}}) 表示函数集合 (F {\lambda}) 的族，其中 (f: X_{\lambda} \to Y_{\lambda})，(F_{\lambda}) 称为功能类，该类中所有函数具有相同的定义域和值域。
• 若对于每个正多项式 (p(\lambda))，存在 (\lambda_0 \in \mathbb{N})，使得对于所有 (\lambda > \lambda_0) 都有 (\epsilon(\lambda) < 1/p(\lambda))，则称函数 (negl(\lambda): \mathbb{N} \leftarrow \mathbb{R}^+) 是可忽略的。
• 对于 (n \in \mathbb{N}^*)，记 ([n] = {1, \cdots, n})。
• 对于算法 (A) 和 (B)，(A^B(\cdot)(x)) 表示 (A) 以 (x) 为输入，并可访问 (B) 作为预言机，预言机每次收到查询时会增加一个计数器，并将输入 - 输出对与计数器关联，以保证对重复查询的一致响应。
• 用 (\leftarrow^{\$} D) 表示从域 (D) 中均匀随机采样。

1.2 非交互式见证不可区分证明系统（NIWI）