15.1 交互式零知识证明系统的定义交互式零知识证明系统的定义 l交互图灵机作为证明者和验证者各自的计算交互图灵机作为证明者和验证者各自的计算模型，将他们各自的交互图灵机连接起来模型，将他们各自的交互图灵机连接起来联合计算就构成一问一答的交互协议。联合计算就构成一问一答的交互协议。l定义定义15.1 一个交互图灵机是一个（确定性）多带图灵机。它具有下列带：1）一条只读输入带；2）一条只读随机带；3）一条读写工作带；4）一条只写输出带；5）一条只读通信带和一条只写通信带；6）一条仅有一个小方格的读写开关带。l定义定义 15.2 二个交互图灵机连接在一起，若一个图灵机的识别标记为1而另一个图灵机的识别标记为0，它们的输入带合一，开关带合一，一个图灵机的只读通信带与另一图灵机的只写通信带合一，反之前者的只写通信带与后者的只读通信带合一，但两个图灵机的随机带，工作带和输出带是分开的。一对连接起来的交互图灵机在初始时刻有共同的输入，并置开关带的内容为0。它们的联合计算程序是一对形的有限或无限序列，其中一个形序列代表一个图灵机的计算程序。序列中的每一对形总是有一个图灵机（不必是同一个）工作而另一个
