diff options
| -rw-r--r-- | taler-fc19/paper.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex index e1cf467..63695db 100644 --- a/taler-fc19/paper.tex +++ b/taler-fc19/paper.tex @@ -924,11 +924,11 @@ Using these primitives, we now instantiate the syntax: \V{rid} := (\V{coin}_0, \V{pkD}_u, \{ s_i \}, \{ \overline{m}_i \}, \{r_i\}, \{\mathcal{T}_{(B*,i)}\} ).
\end{equation}
- Now, the customer's wallet sends the commitment $\pi_1 = (\V{pkCoin}_0, \V{pkD}_u, h_C)$ together with signature $\V{sig}_1
+ Now, the customer's wallet sends the commitment $\pi_1 := (\V{pkCoin}_0, \V{pkD}_u, h_C)$ together with signature $\V{sig}_1
\leftarrow \algo{Sign}_{CSK}(\V{skCoin}_0, \pi_1)$ to the exchange, where
\begin{align*}
h_T &:= H_{pck}(T_1, \dots, T_\kappa)\\
- h_{\overline{m}} &:= H_{pk}(\overline{m}_1, \dots, \overline{m}_\kappa)\\
+ h_{\overline{m}} &:= H_{pck}(\overline{m}_1, \dots, \overline{m}_\kappa)\\
h_C &:= H_{pck}(h_T \Vert h_{\overline{m}})
\end{align*}
|