66、基于韦伊配对的自盲凭证证书技术解析

基于韦伊配对的自盲凭证证书技术解析

1. 研究概述

本研究聚焦于构建自盲凭证证书，其核心工作涵盖多方面。首先，介绍了 Chaum - Pedersen 数字签名方案的变体，此变体对自盲证书的构建至关重要。接着，描述了用于 CPCs（某种凭证系统）的功能模型，详细阐述了自盲证书的概念及相关系统的构建方式。

2. Chaum - Pedersen 签名方案的无证明变体

数字签名是基于实体控制的私钥形成的数据串，用于关联数字形式的消息，以证明消息来源及未被篡改。若消息包含公钥和可选属性，(m, s) 被称为证书，颁发者为认证机构（CA）。这里介绍的数字签名方案能让 CA 颁发“自盲”证书。

2.1 DDH 问题简单而 DH、DL 问题困难的群

• 相关问题定义
  • Diffie - Hellman（DH）问题 ：对于素数阶群 G 的生成元 g，计算函数 (DHg(g^x, g^y) = g^{xy}) 的值。
  • Decision Diffie - Hellman（DDH）问题 ：给定 (a, b, c \in G)，判断 (c = DHg(a, b)) 是否成立；另一种表述是，给定群 G 中的四元组 (g, g^x, h, h^y)，判断 (x = y) 是否成立。
  • 离散对数（DL）问题 ：给定 (a = g^x \in G)（(0 \leq x < q)），求 (x = DL(\alpha)