【本课堂内容全部选编自PlatON首席密码学家、武汉大学国家网络安全学院教授、博士生导师何德彪教授的《区块链与密码学》授课讲义、教材及互联网，版权归属其原作者所有，如有侵权请立即与我们联系，我们将及时处理。】

零知识证明系统是交互证明系统的一个实例。

零知识证明系统所要完成的任务是「证明某一个事实并且不泄露知识」。

简而言之，零知识证明是一个两方参与的交互协议，其中证明者向验证者证明某一个断言的正确性，并且满足以下三个条件：

正确性-即若断言为真，则验证者总是接受证明；

可靠性-即若断言为假，则验证者总是拒绝证明；

零知识-即验证者无法从该证明过程中获取额外的信息。

零知识证明系统自身所具有的保密性和认证性正是密码学所追求的基本安全属性。

可靠性的两种形式

零知识性的三种形式

零知识性能够防止证明者向验证者泄露不必要的信息。

计算零知识性（Computational zero-knowledge）

两个分布是计算不可区分的，即没有有效的算法能够区分两个分布。

统计零知识性（Statistical zero-knowledge）

两个分布是统计不可区分的，即它们的统计距离是可忽略的。

完美零知识性（Perfect zero-knowledge）

两个分布是同分布的。

今天的课程就到这里啦，下节课我们将开始学习经典交互式零知识证明，敬请期待！

同学们可以关注点宽学园，每周持续更新区块链系列课程，小宽带你进入区块链世界。我们下节课见啦。

【区块链与密码学】课堂回顾：

区块链与密码学系列文章合集