纯公钥模型下对NP语言的高效并发零知识证明系统

来源 :软件学报 | 被引量 : 0次 | 上传用户:ylalh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种从3轮公开掷币的对任何NP语言的诚实验证者零知识证明系统到纯公钥模型下4轮f轮最优)对同一语言的具有并发合理性的并发零知识证明系统.该转化方法有如下优点:1)它只引起D(1)(常数个)额外的模指数运算,相比DiCrescenzo等人在ICALP05上提出的需要qn)个额外的模指数运算的转化方法孩系统在效率上有着本质上的提高,而所需的困难性假设不变;2)在离散对数假设下,该转化方法产生一个完美零知识证明系统.注意到DiCrescenzo等人提出的系统只具有计算零知识性质.该转化方法依赖于一个特殊的
其他文献
讨论了求解势垒贯穿问题时选择基函数的两种方法,并对它们进行了比较,提出了基函数的选择标准。
本文的目的是阐明人工智能技术在过程控制系统中的某些应用。把智能控制和专家系统技术相结合,设计出一种智能控制器,仿真结果表明,本文给出的控制器不仅能较好地处理系统的
随着社会经济的发展,湖州市部分卫生院进行了体制改革,取得了较好的社会效益和经济效益.现阶段,改制后的卫生院如何认识和开展农村社区卫生服务工作就成了我们关注的焦点.带
研究Peer数据管理系统(peer data managementsystem,简称PDMS)中的视图维护策略.首先提出一种混合的P2P架构,在该架构中,Peer优先选择基本的P2P架构而不是超级Peer架构.如果一个视图
1四肢骨折术后康复的重要性骨折是骨的完整性或连续性中断.骨折可由直接暴力、问接暴力、肌肉拉力或累积劳损和骨骼疾病所引起.
本文介绍了旋装式滤清器(简称:旋装滤)CAD系统,该系统以其独特的检索与交互相结合的设计方法,突破了单一的交互式CAD模式,使系统的运用更加灵活方便。东风汽车公司散热器厂已
<正> 黄麻纺织厂的工艺管理工作是全行业中涉及较广、难度较大、技术较高、标准较严、纪律较强、事半功倍的科学技术工作.因其生产具有人员多、机台多、工序多、流水作业线等
青海省地广人稀,经济欠发达.农村经济体制改革,对农村集体经济产生了直接冲击,青海农村合作医疗纷纷解体.
目的了解齐齐哈尔市部分地区小学生错颌畸形的患病率、错颌类型构成比.方法随机抽取齐齐哈尔市小学生1336人进行临床检查,以安氏分类法进行分类,以个别正常颌为标准进行本项
目的探讨中药海棉巾局部热蕴治疗中风并发深静脉血栓形成临床疗效和治疗机理.方法将60例中风并发深静脉血栓形成患者随机分为中药海棉巾热蕴组和中药组,观察治疗前后临床症状