零知识证明和其应用研究.pdf

零知识证明及其应用研究 摘要 零知识证明及其应用研究 张引兵 （计算机软件与理论） 摘要：随着网络的普及，利用网络从事各种活动变得非常的方便和有效， 网上银行、电子商务、电子政务等越来越多的活动都离不开网络。而对这些应用 尤其重要的一点就是要求它的安全性，否则，后果不堪设想。这些安全服务通常 是由密码协议提供的，零知识证明就是这样一种为提供安全服务底层的核心技 术。零知识证明是一种高级密码协议，它是指声称者要向验证者证明某一断言的 真实性，却并不向验证者泄露任何与该断言有关的其他信息。在当代密码学中， 零知识证明占据着重要的位置，它不仅作为一个基本工具为实现各种密码学协议 分析与构造提供强有力的支持，而且其证明方法也成为一种方法论而被广泛使 用。另外，零知识证明不只在应用密码学中有重要的应用价值，在IP 协议框架 中，这一主题意见发展成为计算复杂性理论的一个重要分支。 比特承诺在现代密码学协议构造中处于核心内容，它是实现零知识证明的重 要工具。自 Blum 于 1982 年首先提出了比特承诺的概念后，它已经成为了密码 学研究的一个活跃领域。密码学家指出如果有了好的加密算法，任何 NP 命题都 有一个零知识证明。这里的加密算法本质上就是比特承诺算法。比特承诺是构建 零知识证明的重要子协议，不仅如此，比特承诺的类型直接影响着其所构建的上 层零知识证明的零知识类型。 本文首先简要介绍了比特承诺的相关理论知识，以及实现比特承诺的不同方 式，并给出了0-1 背包问题的的比特承诺方案。详细地介绍了零知识证明协议的 相关知识,接着在研究零知识证明相关理论的基础上，给出了几个零知识证明的 例子，列举了零知识证明在相关方面的实际应用。并在图的哈密尔顿回路的交互 式零知识证明的分析基础之上，对图的哈密尔顿回路的非交互式零知识证明进行 了研究。最后简要介绍了零知识证明的前沿研究相关领域。 关键词：密码学，零知识证明，比特承诺，协议，身份认证 I Research On Zero-Knowledge Proof and Its Applications Research On Zero-Knowledge Proof and Its Applications ZHANG Yin-bing (Computer Software and Theory) Abstract: With the popularization of networks, it has become very convenient and effective that engaged in a variety of activities using network . online banking, e-commerce, e-government activities ,more and more activities are inseparable from the network. It is particularly important for these applications that its security requirements, otherwise, the consequences would be unthinkable. These security services are usually provided by the cryptographic protocols, zero knowledge proof is such a core technology to provide the security services. Zero-knowledge proof is an advanced cryptographic protocols, it is claimed that the prover to prove an assertion to the