目录
Σ(Sigma)协议的含义[1]
Σ协议又称为诚实验证者的(特殊)零知识证明。即假设验证者是诚实的。
Σ协议的定义是:对于诚实验证者情形,存在p.p.t模拟器,对于任意的 y∈L_r 和附加的输入c,能够模拟产生于正常诚实证明者和诚实验证者协议交互 输出相同概率分布的(a,c,s)。
Schnorr协议是典型的Σ协议。
注: a,c,s分别表示 commitment-承诺、challenge-挑战、response-响应。L-r表示x和y的关联关系,比如y=g^x。
零知识证明
零知识证明,是指实体A向实体B证明其拥有解决某困难问题的知识,证明完成后,B可以确信A有此能力,但B只能验证A给出的证明有效,并不能从证明的交互过程中获得任何解决该困难问题的知识。
零知识证明系统具有3个特性: 合法性(soundness),完备性(completeness),零知识特性(zeroknowledge)。
3个性质的含义[1]
Σ(Sigma)协议协议中的3个特性是:特殊合法性(special soundness),完备性(completeness),特殊诚实验证者零知识(honest-verifier zeroknowledge)
更多参考:
[1]密码协议基础