基于逆序二叉树的高效可分电子现金系统

作者：张江霄; 郭华; 李舟军

来源：电子与信息学报, 2014, 36(01): 22-26.

• 可分电子现金系统
• 标准模型
• 逆序二叉树
• 有限累加器
• Groth-Sahai(GS)证明

针对于Izabachene等人(2012)在标准模型下构建的可分电子现金系统花费协议和存款协议效率低的问题,该文利用Groth-Sahai(GS)证明系统和累加器原理,首次提出了逆序二叉树构建法,并在标准模型下构建了一个高效的可分电子现金系统。与现有系统相比,新系统在构建二叉树时可以并行计算二叉树叶子节点的序列号和在花费协议中可以直接证明用户花费路径的正确性,从而保证花费协议中用户的计算量是常量;新系统在安全性上不仅具有弱不可诬陷性,同时也具有强不可诬陷性;最后在标准模型下给出了系统的安全性证明,证明了该系统具有不可伪造性、匿名性、不可重复花费性和不可诬陷性。

• 单位
  中国科学院信息工程研究所; 北京航空航天大学; 信息安全国家重点实验室; 软件开发环境国家重点实验室