summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-09-25 11:12:48 +0200
committerFlorian Dold <florian.dold@gmail.com>2018-09-25 11:12:48 +0200
commit41747eecd2594ebbdca9559149085622a30f7909 (patch)
tree147c5226ed37d446367ad4559d2cdb36390c70c4
parentbf5365004f243e1fcad6e7feff1d8fdc0a51cee0 (diff)
downloadpapers-41747eecd2594ebbdca9559149085622a30f7909.tar.gz
papers-41747eecd2594ebbdca9559149085622a30f7909.tar.bz2
papers-41747eecd2594ebbdca9559149085622a30f7909.zip
clarification
-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 63695db..0022e26 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -936,7 +936,7 @@ Using these primitives, we now instantiate the syntax:
depending on the commitment:
\begin{enumerate}
\item if the exchange did not see $\pi_1$ before, it marks $\V{pkCoin}_0$
- as spent for $D(\V{pkD}_u)$, chooses a uniform random $0 \le \gamma < \kappa$, stores it,
+ as spent for $D(\V{pkD}_u)$, chooses a uniform random $0 \le \gamma < \kappa$, stores it under $\pi_1$,
and sends this choice in a signed message $(\gamma, \V{sig}_2)$ to the customer,
where $\V{sig}_2 \leftarrow \algo{Sign}_{S}(\V{skESig}, \gamma)$.
\item otherwise, the exchange sends back the same $\pi_2$ as it sent for the last