第15章 零知识证明.ppt

第15章 零知识证明 15.1 交互式零知识证明系统的定义 交互图灵机作为证明者和验证者各自的计算模型，将他们各自的交互图灵机连接起来联合计算就构成一问一答的交互协议。 定义15.1 一个交互图灵机是一个（确定性）多带图灵机。它具有下列带：1）一条只读输入带；2）一条只读随机带；3）一条读写工作带；4）一条只写输出带；5）一条只读通信带和一条只写通信带；6）一条仅有一个小方格的读写开关带。 定义 15.2 二个交互图灵机连接在一起，若一个图灵机的识别标记为1而另一个图灵机的识别标记为0，它们的输入带合一，开关带合一，一个图灵机的只读通信带与另一图灵机的只写通信带合一，反之前者的只写通信带与后者的只读通信带合一，但两个图灵机的随机带，工作带和输出带是分开的。一对连接起来的交互图灵机在初始时刻有共同的输入，并置开关带的内容为0。它们的联合计算程序是一对形的有限或无限序列，其中一个形序列代表一个图灵机的计算程序。序列中的每一对形总是有一个图灵机（不必是同一个）工作而另一个图灵机休息。第一对形对应于图灵机的初始状态，共同输入和开关带的内容0。若一个图灵机停机了但开关带的内容仍与它的识别标记相等，称这时两个图灵机都已停机了，即计算在这一时刻终止。两个图灵机的输出由这一时刻输出带的内容决定。 定义15.3 设A，B为连接起来的一对交互图灵机，设对每一共同输入，它们的联合计算在有限步终止。记(A,B)(x)为共同输入x联合计算终止时B的输出。它是在{0,1}中取值的随机变量，即在联合计算终止时刻图灵机B的只写头在输出带所写的二进数。由于A，B的随机输入满足随机数约定，故(A,B)(x)为随机变量。 定义15.4 一个交互图灵机A称为有时间复杂性 （正整数集），若它与每个交互图灵机B连接起来和对每个共同输入x，它总是在t(|x|)步内停机（与A和B的随机输入无关，只要满足随机数约定即可）。特别若存在一个正多项式p(n)，使图灵机A有时间复杂性p(|x|)，则称图灵机A是多项式时间的。 定义15.5 一对连接起来的交互图灵机（P，V）称为语言L成员识别问题的交互（式省去）证明系统，若V是多项式时间的，且满足下列两个条件。 (1)完全性：对每个x∈L， (15.1） (2)合理性：对每个x∈L和每个交互图灵机B，B与V连接起来， 或 （15.2） 其中V的输出(P,V)(x)和(B,V)(x)表示验证者是否接受x∈L，输出1表示接受x∈L，输出0表示拒绝x∈L。 定理15.1 语言L的成员识别问题属于NP，当且仅当它有一个交互证明系统具有下列两个性质。 (1)交互是单向的（从证明者到验证者）。 (2)证明者和验证者都只用确定性算法（不出错）。 定义15.6 设（P，V）为语言L的交互证明系统（参看定义15.5），称（P，V）为语言L的一个关于不诚实验证者的交互完全零知识证明系统，若对每个多项式时间的交互图灵机V*，存在一个多项式时间的概率图灵机M*，使对每个x∈L，下面两个条件成立。 1)当M*的输入为x时，它以2-p(|x|)的概率输出一个特殊符号，记作⊥，即 ，其中p(n)为任一固定的正多项式。 2）记m*(x)为一随机变量，其分布为M*(x) ≠⊥的条件下M*(x)的条件分布，即 再记ViewP,V’(x)为共同输入x时在P与V*交互（联合计算）过程中从V*的随机带读出的随机数以及V*从P收到的消息，称为V*的观察。 于是有ViewP,V’(x)与m*(x)是相同分布的随机变量。 M*称为P与V*交互的完善模拟器。 定义15.7 设(P，V)为语言L的交互证明系统，称(P，V)为语言L的一个关于不诚实验证者的交互计算零知识证明系统，若对每个多项式时间的交互图灵机V*，存在一个多项式时间的概率图灵机M*，使随机变量族 与 是计算不可区分的（参看定义6.2）。 M*称为P与V*交互的模拟器。 定义15.8 设（P，V）为语言L的交互证明系统，称（P，V）为语言L的一个关于不诚实验证者的交互统计（几乎完全）零知识证明系统，若对每个多项式时间的交互图灵机V*，存在一个多项式时间的概率图灵机M*，使随机变量族 与 是统计接近的，即它们的变差距离 （15.3） 是|x|的一个可忽略函数，即对每个正多项式p(n)及一切充分大的|x|有 。 定义15.9 设（P，V）为语言L的交互证明系统，称（P，V）为语言L的一个关于诚实验证者的交互计算零知识证明系统，若存在一个多项式时间概率图灵机M，使随机变量族 与 是计算不可区分的（参看