diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-09-25 10:15:23 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-09-25 10:15:23 +0200 |
| commit | e50f9e20e39f64af5e95560b965f68e2c1206ae5 (patch) | |
| tree | 8201ddb0ca9840aa578206c8a43cd7f4485b1680 /taler-fc19/paper.tex | |
| parent | 6244246564a5fa6070f639b7f7d52c6b053d3c7c (diff) | |
| download | papers-e50f9e20e39f64af5e95560b965f68e2c1206ae5.tar.gz papers-e50f9e20e39f64af5e95560b965f68e2c1206ae5.tar.bz2 papers-e50f9e20e39f64af5e95560b965f68e2c1206ae5.zip | |
parens
Diffstat (limited to 'taler-fc19/paper.tex')
| -rw-r--r-- | taler-fc19/paper.tex | 2 |
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,
|