基于 Camenisch-Lysyanskaya 签名的同步聚合签名方案的改进安全性证明
密码学与安全
2023-04-04 v2
摘要
CRYPTO 2004 中的 Camenisch-Lysyanskaya 签名方案是构造匿名凭证、群签名或环签名等隐私保护方案的有用构件。然而，该签名方案的安全性依赖于称为 LRSW 假设的交互式假设。即便这些交互式假设在泛型群模型或双线性群模型中被证明，密码学界仍对这些假设存有顾虑。这一事实给依赖此类假设的密码方案的使用造成了障碍。近期，Pointcheval 与 Sanders 在 CT-RSA 2018 中提出了改进的 Camenisch-Lysyanskaya 签名方案。该方案在称为修正 q 强 Diffie-Hellman-2（q-MSDH-2）假设的新型 q 型假设下满足 EUF-CMA 安全性。然而，q 型假设的规模会动态增长，这一事实导致方案效率低下。本文中，我们重新审视 FC 2013 中基于 Camenisch-Lysyanskaya 签名的同步聚合签名方案。该方案是双线性群上最高效的同步聚合签名方案之一。然而，该同步聚合方案的安全性此前在随机预言机模型下基于一次性 LRSW 假设被证明。我们给出了该同步聚合方案在随机预言机模型下基于 1-MSDH-2（静态）假设的新安全性证明，且效率损失极小。
引用
@article{arxiv.2202.09808,
title = {Improved Security Proof for the Camenisch-Lysyanskaya Signature-Based Synchronized Aggregate Signature Scheme},
author = {Masayuki Tezuka and Keisuke Tanaka},
journal= {arXiv preprint arXiv:2202.09808},
year = {2023}
}