论文部分内容阅读
网络的发展和普及使得网上银行、电子商务、电子政务等应运而生。人们在得益于网络处理事务便捷的同时对其安全性也提出了更高的要求。这些安全服务通常由密码协议提供。零知识证明就是一种提供安全服务的核心技术。本文首先介绍零知识证明的相关知识（基本概念、定义、分类、应用等），然后引入常量轮数零知识证明的概念，介绍零知识证明的重要运用工具-比特承诺，并介绍了构造关于NPC问题-哈密尔顿回路的常量轮数零知识证明的方法，从而说明对于任何NP问题都能构造关于它的常量轮数零知识证明系统。最后介绍多证明者零知识论证系统的定义并在文献[6]的基础上作了修改，给出了基于离散对数假设的多证明者的常量轮数零知识论证系统，并对其正确性、有效性、秘密性、零知识性以及计算复杂度加以讨论。