基于格的哈希证明系统的构造综述

• 作者: 来齐齐 杨波 禹勇 陈原 顾小勇
• 来源期刊: 密码学报
• 学科: 工学
• 关键词: 密码学 哈希证明系统 格
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 后量子密码专栏
• 页码范围: 474-484
• 页数: 11页
• 分类号: TP309.7
• 字数: 8689字
• 语种: 中文
• DOI: 10.13868/j.cnki.jcr.000199

摘要

自从2002年Cramer和Shoup首次提出哈希证明系统(Hash Proof System)的概念以来,人们逐渐发现了其所蕴含的巨大密码学价值.作为对某一个NP语言的特殊非交互式零知识证明系统,哈希证明系统在密码学理论的发展过程中有着不可替代的作用.到目前为止,对哈希证明系统的研究依然是密码学界一个热点话题.尤其是随着后量子密码时代的到来,对具有抗量子计算攻击特性的哈希证明系统的研究显得更为重要.本文首先概述了哈希证明系统的概念、密码学用途及在传统困难假设下的一般化构造方法.然后分别给出哈希证明系统、基于身份哈希证明系统和基于属性哈希证明系统的形式化定义以及各个定义中的关键点.最后,着重对基于格困难问题构造哈希证明系统的研究现状进行了总结和梳理,分析了一些具有代表性的已有构造的特点,并指出当前基于格构造哈希证明系统的研究过程中所面临的一些问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨波	陕西师范大学计算机科学学院	120	1993	20.0	41.0
3	陈原	西安电子科技大学综合业务网理论及关键技术国家重点实验室	7	83	3.0	7.0
6	禹勇	陕西师范大学计算机科学学院	5	5	2.0	2.0
7	来齐齐	陕西师范大学计算机科学学院	6	16	2.0	3.0