学习笔记：Improving the Efficiency of Report and Trace Ring Signatures

最新推荐文章于 2024-09-14 21:53:48 发布

yixvxi

最新推荐文章于 2024-09-14 21:53:48 发布

阅读量110

点赞数

分类专栏： Ring Signatures 文章标签：学习

本文链接：https://blog.csdn.net/jiongxv/article/details/127257891

版权

Ring Signatures 专栏收录该内容

10 篇文章 2 订阅

订阅专栏

Bultel X, Fraser A, Quaglia E A. Improving the Efficiency of Report and Trace Ring Signatures[J]. Cryptology ePrint Archive, 2022. https://eprint.iacr.org/2022/1293
这篇文章的前置文章是：《Report and trace ring signatures》

主要思路：前文所提出的签名方案实例，声称其复杂度与环 $∣ R ∣$ 的大小成线性关系，而实际上是随 $\lambda\cdot|R|$ 线性增长。所以作者提出了一个新的实例，真正实现了 $∣ R ∣$ 线性复杂度。

Improving the Efficiency of Report and Trace Ring Signatures

NIZK: A Pairing-Based ElGamal Variant
Construction

NIZK: A Pairing-Based ElGamal Variant

Let $\mathbb{G}_1,\mathbb{G}_2,\mathbb{G}_t$ be groups of prime order $p$ , $g_1\in \mathbb{G}_1$ and $g_2\in \mathbb{G}_2$ be generators, and $\mathbb{G}_1 × \mathbb{G}_2 \rightarrow \mathbb{G}_t$ be a type-3 bilinear pairing.
原版的ElGamal cryptosystem:

$sk_{PKE}\in \mathbb{Z}_p^*,pk_{PKE}=g_1^{sk_{PKE}}$
message $m$ , random $r$ , run $PKE.Enc(pk_{PKE},m;r)\rightarrow(c_1,c_2)=(g_1^r,pk_{PKE}^r\cdot m)$
to decrypt, run $PKE.Dec(sk_{PKE},(c_1,c_2))\rightarrow m=\frac{c_2}{c_1^{sk_{PKE}}}=\frac{pk_{PKE}^r\cdot m}{g_1^{r\cdot sk_{PKE}}}$

变体：

$sk_{Sign}\in \mathbb{G}_1,pk_{Sign}=e(sk_{Sign},g_2)$
run $PKE.Enc(pk_{Sign},m;r)\rightarrow(c_1,c_2)=(g_2^r,pk_{Sign}^r\cdot m)$
run $PKE.Dec(sk_{Sign},c)\rightarrow m=\frac{c_2}{e(sk_{Sign},c_1)}=\frac{pk_{Sign}^r\cdot m}{e(sk_{Sign},g_2^r)}$
任何人都可以将变体密文 $(c_1,c_2)=(g_2^r,pk_{Sign}^r\cdot m)$ 转换成一个 $\mathbb{G}_t$ 上的标准密文，通过计算 $(e(g_1,c_1),c_2)=(e(g_1,g_2^r),pk_{Sign}^r\cdot m)=(g_t^r,pk_{Sign}^r\cdot m)$

变体方案满足IND-CPA security under the Decisional Diffie-Hellman (DDH) assumption in $\mathbb{G}_2$

证明 $\mathbb{G}_1$ 中的密文能以零知识的方式加密一个变体方案的私钥：

$sk_{Sign}\in \mathbb{G}_1,pk_{Sign}=e(sk_{Sign},g_2)$ , $(c_1,c_2)=(g_1^r,pk_{PKE}^r\cdot sk_{Sign} )\in\mathbb{G}_1^2$ 。证明 $pk_{Sign} = e (PKE.Dec(pp_{PKE}, sk_{PKE}, (c_1, c_2)),g_2)$ 。
必须证明以下关系，已知r:

这是 $\mathbb{G}_t$ 下离散对数等式的一个经典证明。

上述NIZK证明比[13]实例化中使用的NIZK更有效。更具体地说，上述NIZK证明需要常数数量的组指数和对(分别为2和3)来证明。类似地，NIZK证明的验证需要4个组指数和3个对。证明的大小也是固定的:它由2个分组元素和1个字段元素组成。相比之下，Fraser和Quaglia实例化中使用的NIZK证明的规模、证明和验证的计算开销在jRj·λ(其中λ为安全参数)内为线性。至于与签名和验证相关的其他开销，如上所示，两个实例是相同的。因此，对于签名的生成和验证，该实例在环的大小上具有线性的空间和时间复杂度。因此，我们的方法意味着泛型构造可以比最初提出的更有效地实例化，即避免安全参数的线性增加。