论文2024/616

离散对数假设下的$\mathsf{Cougar}$：三次根校验器内积自变量

摘要

内积参数（IPA）是一种用于构造零知识证明（ZKP）系统的密码原语，这是一种著名的隐私增强技术。我们提出了一种新型高效IPA，称为$\mathsf{Cougar}$$\mathsf{Cougar}$具有立方根验证器和离散对数（DL）假设下的对数通信功能。在Asiacrypt2022，Kim等人在DL假设下提出了两个平方根验证器IPA。我们的主要目标是克服DL设置中平方根复杂性的限制。为了实现这一点，我们结合了Kim等人的两个不同的平方根IPA：一个带有配对（$\mathsf{Protocol3}$），另一个没有配对（$\fathsf{Protocol4}$）。为了构造$\mathsf{Cougar}$，我们首先重新访问$\mathf{Protocol4}$并对其进行重构，使其与同态承诺方案的证明系统兼容。接下来，我们使用$\mathsf{Protocol3}$作为重建的$\mathf{Prototol4}$的证明系统。此外，我们为DL假设中的$\mathsf{Cougar}$提供了一个稳健性证明。

注：ESORICS’24提交文件的完整版本