summaryrefslogtreecommitdiff
path: root/taler-fc19/paper.tex
diff options
context:
space:
mode:
Diffstat (limited to 'taler-fc19/paper.tex')
-rw-r--r--taler-fc19/paper.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index 9014e45..e69c073 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -942,7 +942,7 @@ Using these primitive, we now instantiate the syntax:
\begin{align*}
h_T &:= H_{pk}(T_1, \dots, T_\kappa)\\
h_{\overline{m}} &:= H_{pk}(\overline{m}_1, \dots, \overline{m}_\kappa)\\
- h_C &:= H_{pk}((h_T \Vert h_{\overline{m}})
+ h_C &:= H_{pk}(h_T \Vert h_{\overline{m}})
\end{align*}
The exchange checks the signature $\V{sig}_1$, and aborts if invalid. Otherwise,