summaryrefslogtreecommitdiff
path: root/taler-fc19/paper.tex
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-09-25 10:49:56 +0200
committerFlorian Dold <florian.dold@gmail.com>2018-09-25 10:49:56 +0200
commita364e41bb0ff1c5567c461e682f728b6f11fe89b (patch)
treedd5b7fc3807972ab0a40f646501549db6183cdd4 /taler-fc19/paper.tex
parent66a4b71a420562d43d49b4dcfa503d36bb49b77d (diff)
downloadpapers-a364e41bb0ff1c5567c461e682f728b6f11fe89b.tar.gz
papers-a364e41bb0ff1c5567c461e682f728b6f11fe89b.tar.bz2
papers-a364e41bb0ff1c5567c461e682f728b6f11fe89b.zip
fix gibberish in withdraw prepare
Diffstat (limited to 'taler-fc19/paper.tex')
-rw-r--r--taler-fc19/paper.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index 8363133..0d2899a 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -855,7 +855,8 @@ Using these primitives, we now instantiate the syntax:
\begin{enumerate}
\item \prt{C} generates coin key pair $(\V{skCoin}, \V{pkCoin}) \leftarrow \algo{KeyGen}_{CSK}(1^\lambda)$
- \item \prt{C} runs $(\overline{m}, r) \leftarrow \algo{Blind}_{CSK}(\mathcal{E}(\V{skCoin}), \mathcal{C}(m))$ with the exchange
+ \item \prt{C} runs $(\overline{m}, r) \leftarrow \algo{Blind}_{CSK}(\mathcal{E}(\V{sksE}), \mathcal{C}(\V{pksE}, \V{pkCoin}))$
+ with the exchange
\end{enumerate}
The withdraw identifier is then
@@ -866,7 +867,7 @@ Using these primitives, we now instantiate the syntax:
\item $\algo{WithdrawPickup}(\prt{E}(\V{sksE}, \V{pkCustomer}), \prt{C}(\V{skCustomer}, \V{pksE}, \V{wid}))$:
- The customer looks up $\V{skCoin}$, $\V{pkCoin}$, \V{pkD} $\overline{m}$
+ The customer looks up $\V{skCoin}$, $\V{pkCoin}$, \V{pkD}, $\overline{m}$
and $r$ via the withdraw identifier $\V{wid}$.
\begin{enumerate}