30、基于格的洗牌证明及其在电子投票中的应用

基于格的洗牌证明及其在电子投票中的应用

1. 可验证加密系统

为了可验证地加密公开信息 $rm$，有如下系统：
[
\begin{bmatrix}
v \
w \
c_1
\end{bmatrix}
=
\begin{bmatrix}
A^{\top} \otimes (pI_{\kappa}) & pI_{\ell \cdot \kappa} & 0_{(\ell \cdot \kappa) \times \kappa} & 0_{(\ell \cdot \kappa) \times \kappa} \
t^{\top} \otimes (pI_{\kappa}) & 0_{\kappa \times (\ell \cdot \kappa)} & pI_{\kappa} & I_{\kappa} \
0_{\lambda \times (\ell \cdot \kappa)} & 0_{\lambda \times (\ell \cdot \kappa)} & 0_{\lambda \times \kappa} & B_1
\end{bmatrix}
\cdot
\begin{bmatrix}
r \
e \
e’ \
rm
\end{bmatrix}
]

2. 返回码机制

在存在恶意计算机的情况下，需要确保选民能够检测发送到投票箱的加密选票是否是正确选票的加密。通过给选民一个预先计算好的返回码表来实现验证