29、标准签名的定时公平交换与基于可撤销项的异步乐观公平交换

标准签名的定时公平交换与基于可撤销项的异步乐观公平交换

在数字交换的场景中，公平性和安全性是至关重要的。无论是隐藏值的交换，还是签名的公平交换，亦或是涉及可撤销物品的公平交易，都需要相应的协议来保障。下面将详细介绍相关的协议和技术。

隐藏值交换协议

在隐藏值交换过程中，涉及到一系列的步骤和安全保障机制。
1. 时间线点的交换 ：从 j = 1 到 K 执行以下操作。
- 首先，Alice 向 Bob 发送 (v′ {A_j} = (v {A_j})^α \mod N_A)，并附带证明 ([\log_{g_A} g′ A = \log {v_{A_j}} v′ {A_j}])，使用 EQLOG - 1 证明。
- 接着，Bob 在验证证明后，回复 (v′ {B_j} = (v_{B_j})^β \mod N_B)，同样附带证明 ([\log_{g_B} g′ B = \log {v_{B_j}} v′ {B_j}])。
2. 强制检索机制 ：若在第 ℓ 轮（1 ≤ ℓ < K）时，某一方（如 Alice）停止交换，Bob 可以通过对 (v′ {A_{ℓ - 1}}) 进行约 (2^{K - ℓ}) 次模乘法运算，得到 Alice 的隐藏值 (v_{A_K})。

该协议的安全性基于以下几点：
- 派生时间线的良好形成依赖于 MTL 构造的良好性以及正确移位的证明。
- 新时间线继承了原始 MTL 的长周期保证。假设广义 BBS 假设成立