17、电动车辆充电与Self-Sovereign Identity技术应用

电动车辆充电与Self-Sovereign Identity技术应用

1. 带缺失点的Tau幂介绍

在一些系统中，需要用到Tau幂序列，但序列中会缺少一个幂次。具体来说，有如下形式的Tau幂序列：
[
pp =
\begin{cases}
(P_i) {i = 1, i \neq N + 1}^{2N}, \
(Q_i) {i = 1}^{N}
\end{cases}
=
\begin{cases}
(\tau^i B_1) {i = 1, i \neq N + 1}^{2N}, \
(\tau^i B_2) {i = 1}^{N}
\end{cases}
]
其中，点 (P_{N + 1} = \tau^{N + 1} B_1) 不在 (pp) 序列中。使用这种带缺失点序列的系统包括Groth’10、Attema和Cramer、Lipmaa、Siim和Zajac的Vampire方案，以及Waters和Wu的系统等。为了保证安全性，(pp) 序列中缺失点 (P_{N + 1}) 是必要的。

对于这种情况，需要对原有的检查（Check #2）进行修改。验证者会在 (Z_p^*) 中随机选取两个标量 (\rho_1) 和 (\rho_2)，并进行以下两个方程的检查：

带缺失点设置的检查 #2

[
e\left(
\sum_{i = 1, i \neq N + 1, i \neq N + 2}^{2N} \rho_1^{i - 1} P_i,
B_2 + \su