目录
Σ（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]密码协议基础