35、基于盲多重签名方案的可证明安全电子现金

基于盲多重签名方案的可证明安全电子现金

电子现金在现代金融体系中扮演着重要角色，其安全性和可靠性至关重要。本文将探讨一种基于盲多重签名方案的可证明安全电子现金方案，分析其交易流程、安全性考量等方面。

1. 电子现金交易流程

当用户 U 使用电子现金进行交易时，涉及到以下关键步骤和公式验证：
- 验证公式：
- $\epsilon_p \stackrel{?}{=} H4(z^{\mu_p}\zeta^{\epsilon_p}||e - cash||cha)$
- 交易流程：
1. 如果上述公式成立，商店 S 会向用户 U 发送服务或商品。
2. 之后，S 将使用过的电子现金及其交易历史发送给发行银行 B0。
3. 若电子现金未被重复使用，S 可将电子现金兑换成货币，B0 会在其数据库中记录该电子现金及其交易历史；反之，B0 会追踪重复使用同一电子现金的用户。

2. 安全性考量

为确保电子现金方案的安全性，需要满足以下几个方面的要求：
1. 完整性（Completeness） ：
- 定理 1 ：如果银行 ${B_i} i$、用户 U 和商店 S 都遵循协议，那么该方案能正常运行。具体来说，${B_i}$ 和 U 在发行协议中分别输出成功和电子现金，S 在支付协议中以概率 1 接受生成的电子现金。
- 证明思路 ：
- 首先证明 $(r, c, s_1, s_2, d)$ 满足方程 (1)。已知 $r = \sum {i\in