零知识证明若干基本问题的研究

项目名称： 零知识证明若干基本问题的研究

项目编号： No.60970139

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 李红达

作者单位： 中国科学院信息工程研究所

项目金额： 28万元

中文摘要： 零知识证明是密码学以及复杂性理论的核心内容之一，对它的一些基本问题的研究一直倍受关注。Barak由非黑箱模拟技术所得结论引发了人们对一些有关零知识协议的否定性结论的重新思考，而且随后对零知识证明在可并发性、可重置性、轮复杂性等方面的研究也取得了一些成果，但目前仍有许多基本问题尚未解决或很好地解决，如常数轮可并发（甚至可重置）的零知识证明的存在性问题，常数轮可并发的知识的零知识证明的存在性问题等。最近，申请者利用一种新的非黑箱模拟思想和新的交互证明模式，解决了标准假设下NP问题的3轮零知识证明系统的存在性这一公开问题，而且在知识的零知识证明、以及可并发的知识的零知识论证方面也取得了很好的结果。本项目将在已有的研究基础上，对可并发或可重置的常数轮零知识协议的存在性、不可延展的可并发（乃至可重置）的零知识协议的存在性，以及有关知识的（强）零知识证明和（强）证据不可区分等一些基本问题进行深入研究。

中文关键词： 零知识证明（论证）；知识的证明；并发；常数轮；泄露容忍

英文摘要：

英文关键词： Zero knowledge proofs (argumen；proofs of knowledge；concurrent；constant-round；leakage-resilient