随着网络的普及,利用网络从事各种活动变得非常的方便和有效,网上银行、电子商务、电子政务等越来越多的活动都离不开网络。而对这些应用尤其重要的一点就是要求它的安全性,否则,后果不堪设想。这些安全服务通常是由密码协议提供的,零知识证明就是这样一种为提供安全服务底层的核心技术。零知识证明是一种高级密码协议,它是指声称者要向验证者证明某一断言的真实性,却并不向验证者泄露任何与该断言有关的其他信息。在当代密码学中,零知识证明占据着重要的位置,它不仅作为一个基本工具为实现各种密码学协议分析与构造提供强有力的支持,而且其证明方法也成为一种方法论而被广泛使用。另外,零知识证明不只在应用密码学中有重要的应用价值,在IP协议框架中,这一主题意见发展成为计算复杂性理论的一个重要分支。比特承诺在现代密码学协议构造中处于核心内容,它是实现零知识证明的重要工具。自Blum于1982年首先提出了比特承诺的概念后,它已经成为了密码学研究的一个活跃领域。密码学家指出如果有了好的加密算法,任何NP命题都有一个零知识证明。这里的加密算法本质上就是比特承诺算法。比特承诺是构建零知识证明的重要子协议,不仅如此,比特承诺的类型直接影响着其所构建的上层零知识证明的零知识类型。本文首先简要介绍了比特承诺的相关理论知识,以及实现比特承诺的不同方式,并给出了0-1背包问题的的比特承诺方案。详细地介绍了零知识证明协议的相关知识,接着在研究零知识证明相关理论的基础上,给出了几个零知识证明的例子,列举了零知识证明在相关方面的实际应用。并在图的哈密尔顿回路的交互式零知识证明的分析基础之上,对图的哈密尔顿回路的非交互式零知识证明进行了研究。最后简要介绍了零知识证明的前沿研究相关领域。