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

摘要：

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

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

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60973105,90718017,61170189,61300172;软件开发环境国家重点实验室自主研究课题SKLSDE-2011ZX-03, SKLSDE-2012ZX-11;博士点基金20111102130003,20121102120017资助课题

在线出版日期：2014-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：22-26