关于Zero-Knowledge的定义

最新推荐文章于 2022-07-03 18:55:37 发布

gswei5555

最新推荐文章于 2022-07-03 18:55:37 发布

阅读量1.8k

点赞数

分类专栏：密码学

本文链接：https://blog.csdn.net/u014162760/article/details/24884509

版权

本文介绍了零知识证明的概念，特别关注了基于不同分布等价的完备零知识、统计零知识和计算零知识三个定义。完备零知识是最严格的，统计零知识要求分布接近，而计算零知识则涉及多项式不可区分性。文中通过例子阐述了统计闭的含义，并指出统计零知识可通过指数搜索逼近完备零知识。

摘要由CSDN通过智能技术生成

交互式证明是由Goldwasser，Micali，Rackoff于1985年提出的（也许他们是在会议上提出的，我只找到了他们1989年发表的文章）。零知识证明是一种特殊的交互式证明，协议中验证者（verifier）得不到关于证明的任何信息。很多密码学书籍都是以零知识证明结尾的，或者说验证者得到的信息都可以通过它自己跟一个simulator交互得到。我这里并不想写更多关于它们的信息，只是想说一下我对zero-knowledge的基于不同分布等价的三个定义。我还是以Ostrovaky的Foundation of Cryptography书为主要参考。

这个定义是说如果一个交互式证明是零知识的，那么存在一个simulator，使得V与真正的P交互产生的证明副本[2]的整体分布（ensemble distribution）和与一个simulator交互产生的证明副本的整体分布等价。

对于不同的等价，又有三个不同的定义：
1.