diff options
author | Florian Dold <florian.dold@gmail.com> | 2018-09-25 11:12:48 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2018-09-25 11:12:48 +0200 |
commit | 41747eecd2594ebbdca9559149085622a30f7909 (patch) | |
tree | 147c5226ed37d446367ad4559d2cdb36390c70c4 | |
parent | bf5365004f243e1fcad6e7feff1d8fdc0a51cee0 (diff) | |
download | papers-41747eecd2594ebbdca9559149085622a30f7909.tar.gz papers-41747eecd2594ebbdca9559149085622a30f7909.tar.bz2 papers-41747eecd2594ebbdca9559149085622a30f7909.zip |
clarification
-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 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
|