论文部分内容阅读
当前，多重息票方案设计中的主要困难是如何设计能自由设置兑换次数上界的息票发布协议且所得协议的复杂性并不依赖于这个上界，以及如何为兑换协议提供高效、灵活的兑换机制．为此，提出两个具备改进的效率与功能的方案．新方案分别利用Chaabouni等人的离散对数区间证明技术和Canard等人的关于被承诺元素的知识证明技术实现了对息票兑换次数上界的灵活设置，并且利用Peng等人的批量零知识证明与验证技术对兑换协议的运算复杂度进行了优化．新方案在Nguyen的形式化模型下满足可证安全，而且首次实现了实际应用中的全部理想特