承诺值在特定区间的高效证明

• 作者: 张京良 王育民 马丽珍
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 零知识证明 陷门承诺 离散对数
• 年，卷（期）: 2006,（6）
• 页码范围: 949-952
• 页数: 4页
• 分类号: TN911.22
• 字数: 3454字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2006.06.024

摘要

现有的证明承诺值x位于特定区间 [a, b]的协议皆是先证明x不小于a,然后再重复同样方法证明b不小于x .为了去掉这种方法上的重复性,通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议,协议运行一次便可使验证者确信承诺值x位于区间[a, b]中.该协议是统计零知识证明.与Boudot协议比较,该协议在计算量上少了一个指数运算,在通信量上由16 176比特下降为13 222比特,通信效率提高了18.26%.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王育民	西安电子科技大学综合业务网理论与关键技术国家重点实验室	244	2283	26.0	36.0
2	张京良	西安电子科技大学综合业务网理论与关键技术国家重点实验室	8	25	3.0	4.0
6	马丽珍	中国海洋大学物理系	15	36	4.0	5.0