7、交互式预言机证明：原理、攻击与转换

交互式预言机证明：原理、攻击与转换

1. 基本概念

在深入探讨交互式预言机证明的具体内容之前，我们先了解几个重要的基本概念。

• 零知识证明 ：给定一个函数 (z : {0, 1}^* \to [0, 1])，若存在一个概率多项式时间算法 (S)（模拟器），使得对于每一个 ((\phi, \omega) \in R) 和无界区分器 (D)，下面两个概率是 (z(\phi, \lambda)) - 接近的：
  • (\Pr\left[D^{\rho[\mu]}(\pi) = 1 \mid \rho \leftarrow U(\lambda), (\pi, \mu) \leftarrow S^{\rho}(\phi)\right])
  • (\Pr\left[D^{\rho}(\pi) = 1 \mid \rho \leftarrow U(\lambda), \pi \leftarrow P^{\rho}(\phi, \omega)\right])
    其中，(\rho[\mu]) 是一个函数，对于输入 (x)，若 (\mu) 在 (x) 上有定义，则 (\rho \mu = \mu(x))；否则，(\rho \mu = \rho(x))。

2. 交互式预言机协议

交互式预言机协议是两方（这里称为 Alice 和 Bob）之间进行 (k) 轮交互的过程。