文中构造了随机归约的一个四步零知识证明协议,该协议没有附加任何复杂性假设和证明者的计算能力假设,适用面广,该协议符合知识和语言的证明系统的完备性,完美零知识性等条件,它不符合知识和语言的证明系统的可靠性定义,但它在实际应用中是可靠的。