满足强不可分割性质的紧凑多重息票方案

迄今为止,已有多重息票方案的缺点是缺乏灵活有效的发布与兑换机制。基于3轮并发零知识论证、Boneh-Boyen签名以及Camenisch-Chaabouni-Shelat区间证明技术提出一个改进方案。新方案实现了此类方案要求的全部性质以及多个具有吸引力的性质,即紧凑存储,并发注册以及灵活兑换。此外,性能比较表明,新方案的通信耗费明显低于已有方案。

实用的强不可分割多重息票方案

当前,多重息票方案设计中的主要困难是如何设计能自由设置兑换次数上界的息票发布协议且所得协议的复杂性并不依赖于这个上界,以及如何为兑换协议提供高效、灵活的兑换机制.为此,提出两个具备改进的效率与功能的方案.新方案分别利用Chaabouni等人的离散对数区间证明技术和Canard等人的关于被承诺元素的知识证明技术实现了对息票兑换次数上界的灵活设置,并且利用Peng等人的批量零知识证明与验证技术对兑换协议的运算复杂度进行了优化.新方案在Nguyen的形式化模型下满足可证安全,而且首次实现了实际应用中的全部理想特性,即并发发布、紧凑存储、批量兑换以及支持设置息票对象和过期日期.性能分析表明,新方案的通信与运算耗费显著低于已有的两个满足强不可分割性质的方案.