类型
交互式零知识证明(IZK)
非交互式零知识证明(NIZK)
完备性
如果这个声明是真的,那么验证者一定会接收证明
可靠性
如果验证者接收证明,那么这个声明大概率是真的
零知识性
在整个协议中,验证者的视图可以不通过和证明者的交互被高效的模拟
![在这里插入图片描述](https://img-blog.csdnimg.cn/d0302eaf21434e9aa60998c8f2a64d4f.png)
- 完美的零知识性
在整个协议中,证明者泄露给验证者的额外信息是0。
- 统计学的零知识性
在整个协议中,证明者泄露给验证者的额外信息是可忽略的。
- 基于算力假设的零知识性
在任意一个随机多项式时间的图灵机视角,在整个协议中,证明者泄露给验证者的额外信息是可忽略的。
正式定义
![在这里插入图片描述](https://img-blog.csdnimg.cn/1628d62f542a437fb2ab3edfb36374b7.png)
![在这里插入图片描述](https://img-blog.csdnimg.cn/9e6e83ac17f0415ab9547ca85ce208d1.png)
Sigma协议
一种特殊的3轮零知识证明协议
![](https://img-blog.csdnimg.cn/ebf6fde60352449587c64533a910d630.png)