summaryrefslogtreecommitdiff
path: root/taler-fc19/paper.tex
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-09-25 11:11:01 +0200
committerFlorian Dold <florian.dold@gmail.com>2018-09-25 11:11:01 +0200
commitbf5365004f243e1fcad6e7feff1d8fdc0a51cee0 (patch)
tree104fef91a390651411ccd7aa76591b7cf031278a /taler-fc19/paper.tex
parentb4b5a9f2a667cfa90daa815479a7eedca06e4977 (diff)
downloadpapers-bf5365004f243e1fcad6e7feff1d8fdc0a51cee0.tar.gz
papers-bf5365004f243e1fcad6e7feff1d8fdc0a51cee0.tar.bz2
papers-bf5365004f243e1fcad6e7feff1d8fdc0a51cee0.zip
typos
Diffstat (limited to 'taler-fc19/paper.tex')
-rw-r--r--taler-fc19/paper.tex4
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*}