强安全性零知识证明/论证系统：理论与应用

项目名称： 强安全性零知识证明/论证系统：理论与应用

项目编号： No.61379141

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 邓燚

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

项目金额： 79万元

中文摘要： 本项目将围绕一些在复杂网络和量子环境下能保持安全性的零知识协议展开研究。在经典情形下，我们拟研究一些网络环境下并发和双重可重置的零知识协议的轮复杂性和安全性规约方法等基础性问题， 如在一些标准假设下开发新的技术来构造能达到或打破黑盒零知识下界的完全并发的（非黑盒）零知识及一些相关认证协议；沿着我们之前构造双重可重置零知识论证系统的思路，探索新的途径来研究是否能构造标准模型下对数级轮数的双重可重置零知识论证系统；本项目的另一个研究课题是能抵抗量子攻击的零知识论证系统。在这一方面，我们将侧重研究能否从量子单向函数来构造量子零知识协议以及量子零知识与量子比特承诺之间的等价性问题。应用这些结果或其中开发的工具，尝试构造一些在互联网/云环境下安全的且具有较高轮效率的应用密码协议，如密钥交换,认证协议及代理计算等。

中文关键词： 黑盒归约；零知识；个体化归约技术；公钥密码的复杂性；安全性证明

英文摘要： In this project we will attack some fundamental prolems regading zero knowledge protocols with strong security gurantees, which are usually required for the internet enviroment or under quatum attack. In the classical setting, we will investigate the roun

英文关键词： black-box redutions；zero knowledge；individual reductions；the complexity of public-key encryption；security proof