20、密码协议中的收据无关性与抗胁迫选举

密码协议中的收据无关性与抗胁迫选举

1. 密码协议基础

在密码协议领域，有一些基础的运算和证明机制。首先是一些关键的设置：
- (c_d := c^{-x} a com {ck}(\tilde{r}, (\tilde{a} 1, \ldots, \tilde{a}_n)))
- (c {\Delta}:= com_{ck}(s_2, (0, \ldots, 0)))
- (\tilde{b} 1 := \tilde{a}_1)，(\tilde{b}_n := xb)
- (c {\delta} := c^{-x} {\Delta}com {ck}(\tilde{s}, (x\tilde{b} 2 - \tilde{b}_1\tilde{a}_2, \ldots, x\tilde{b}_n - \tilde{b} {n - 1}\tilde{a}_n))

生成的记录是可接受的记录，并且与真实证明中的分布相同。其中 (c_{\Delta})，(\tilde{r})，(\tilde{a} 1, \ldots, \tilde{a}_n)，(\tilde{s})，(\tilde{b}_2, \ldots, \tilde{b} {n - 1}) 是从 (G_q) 和 (Z_q) 中均匀分布的元素，而 (\tilde{b} 1)，(\tilde{b}_n)，(c_d)，(c {\delta}) 由验证条件唯一确定。

非交互式证明的过程如下：
1. Peggy 按照交互式证明的方式计算 (c_d