3、关于贝丝身份识别方案与施泰纳 t - 设计的研究

关于贝丝身份识别方案与施泰纳 t - 设计的研究

贝丝身份识别方案相关内容

在身份识别方案的研究中，涉及到概率分析和方案转换等重要内容。

首先，有以下几个关键概率事实：
1. 事实 1 ：$Prob[Exp_{IS,A}^{concurrent}(1^{\sigma}) = 1] = Prob[acc]$。
2. 事实 2 ：$Prob[Exp_{B}^{omd}(1^{\sigma}) = 1] = Prob[res]$。
3. 事实 3 ：$Prob[acc] \leq 2^{-l(\sigma)} + Prob[res]$。

通过结合这三个事实，可以得到$Prob[Exp_{IS,A}^{concurrent}(1^{\sigma}) = 1] \leq 2^{-l(\sigma)} + Prob[Exp_{B}^{omd}(1^{\sigma}) = 1]$。并且，如果$Prob[Exp_{IS,A}^{concurrent}(1^{\sigma}) = 1]$不是可忽略的，且$l(\sigma) = \omega(log \sigma)$，那么$Prob[Exp_{B}^{omd}(1^{\sigma}) = 1]$也不是可忽略的。

为了完成证明，还需要计算$B$的运行时间。$B$会运行$A_v$、$A_p$，向预言机$C_G$、$I_G$进行查询（不计算回答这些查询所需的运行时间），并执行模$q$的加法、乘法以及群$G$中的乘法和幂运算，其中幂运算在渐近意义上主导运行时间。总体而言，$B$在每个会话中执行常