零知识证明

[1]宋成. 可信计算平台中若干关键技术研究[D].北京邮电大学,2011.

零知识证明是一种协议。一个协议当具有如下特征时,可以被称为具有零知识属性：证明者利用多项式时间算法试图向验证者证明某个论断是正确的,或者证明者拥有某个知识,却不向验证者透露任何有用的消息。

零知识证明协议目前在密码学中,尤其是在电子商务、电子政务等方面得到了广泛的应用,零知识协议的主要体系结构模型如图一如果证明者希望证明自身拥有秘密,则他公开一个证据,这一般是一个初始化的随机变量,本质上告诉了验证者可以回答的问题,同时,只有真正知道秘密的才一能真的给出所有的问题回答。此时,给的一个挑战,本质上是要求给出其中一个问题的答案,并且通过的回答是否正确来判断的证明是否可信。

人们已经提出了多种基于零知识证明体制，其中以Schnorr鉴别协议最为常用，该鉴别协议也是DAA方案的基础，在此，我们先对Schnorr协议进行介绍。

Schnorr鉴别协议包含三个部分系统协议参数选择、用户参数选择和协议消息交互。下面协议介绍中表示证明者必须证明自身的身份,表示验证者验证的身份,为一个可信的证书发布机构。

（质数即素数字，是指在大于1的自然数中，除了1和它本身以外不再有其他因数的自然数。）