From e50f9e20e39f64af5e95560b965f68e2c1206ae5 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Tue, 25 Sep 2018 10:15:23 +0200 Subject: parens --- taler-fc19/paper.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'taler-fc19') 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, -- cgit v1.2.3