2、基于请求披露的秘密握手方案解析

基于请求披露的秘密握手方案解析

1. 匿名性定义

在秘密握手方案中，有两个重要的匿名性概念需要了解，分别是成员匿名性（MAnon）和追踪权威匿名性（TAnon）。
- 成员匿名性（MAnon） ：在一个游戏中，挑战者 C 与概率多项式敌手 A 进行交互。最终，A 输出对 b 的猜测 b′ ∈{i, j}，若 b = b′，则 A 赢得游戏。我们将 A 的优势定义为 AdvMAnon _A (k) = |Pr[b = b′] - 1/2|。当对于任何概率多项式敌手 A，其优势 AdvMAnon _A (k) 可忽略不计时，我们称该 SHRBR 方案具有成员权威匿名性。
- 追踪权威匿名性（TAnon） ：同样是挑战者 C 与 PPT 敌手 A 之间的游戏。
1. 设置阶段 ：C 生成 param ← Setup(k) 和 (gpk, isk, tsk) ← KeyGen(param)，并将 (param, gpk, tsk) 输入给敌手 A。
2. 添加成员查询和握手查询 ：A 可以进行添加成员查询和握手查询，方式与 IR 游戏相同。
3. 挑战查询 ：此查询仅进行一次。输入 (IDi, IDj)，其中 (∗, ∗, IDi) ∈ LH 且 (∗, ∗, IDj) ∈ LH。C 随机选择 b ∈{i, j}，并以成员 b 的身份与 A 执行握手。最终，A 输出对 b 的猜测 b′ ∈{i, j}，若 b = b′，则 A 赢得游戏。A 的