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

关键词：可分电子现金系统 标准模型 逆序二叉树 有限累加器 

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