diff options
Diffstat (limited to 'taler-fc19')
-rw-r--r-- | taler-fc19/paper.tex | 5 |
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}
|