summaryrefslogtreecommitdiff log msg author committer range
diff options
 context: 12345678910152025303540 space: includeignore mode: unifiedssdiffstat only
 diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.texindex 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)}\} ). - 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*}