狩猎与收集:可验证哈希函数与随机函数的技术解析
1. 引言
在密码学领域,可验证向量哈希函数(VVHF)和可验证随机函数(VRF)是保障信息安全和数据完整性的重要工具。本文将深入探讨一种名为“狩猎与收集”的方法,以及与之相关的基本概念、假设和函数定义,旨在为读者揭示这些技术背后的原理和应用。
2. 预备知识
为了更好地理解后续内容,我们先明确一些常用的符号和假设。
- 符号定义 :
- $\lambda \in N$ 表示安全参数。
- $L := L(\lambda) \in N$ 表示输入长度,通常取 $L = \lambda$。
- 常数 $d \geq 3$ 是假设的参数。
- 对于任意集合 $S$,$x \leftarrow_R S$ 表示从 $S$ 中均匀随机采样元素 $x$。
- $p \in N$ 为素数,向量 $v \in Z_d^p$ 视为列向量,$v_j$ 表示 $v$ 的第 $j$ 个元素。
- 若函数的逆在渐近意义上比任何多项式更快地趋近于零,则称该函数关于 $\lambda$ 是可忽略的。
- 若算法 $A$ 是概率多项式时间(PPT)算法,则其运行时间是关于 $\lambda$ 的多项式。
- 认证双线性群生成器 :
双线性群生成器 $BG.Gen$ 是一个 PPT 算法,输入 $1^{\lambda}$ 输出 $G = (p, G, G_T, \circ, \circ_T, e, \phi, \phi_T)$,需满足以下条件:
- $p$ 是 $2\lambda
超级会员免费看
订阅专栏 解锁全文

556

被折叠的 条评论
为什么被折叠?



