diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-09-25 10:56:34 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-09-25 10:56:34 +0200 |
| commit | b746fa22bb5c2b7b740179714005dd39ce1c1e21 (patch) | |
| tree | 788a81d730e18ecc45f5435a8d7acdf2aa5e66bb | |
| parent | 28f5cb577ddf516b10ed8191e6997d67c8802b17 (diff) | |
| download | papers-b746fa22bb5c2b7b740179714005dd39ce1c1e21.tar.gz papers-b746fa22bb5c2b7b740179714005dd39ce1c1e21.tar.bz2 papers-b746fa22bb5c2b7b740179714005dd39ce1c1e21.zip | |
colons
| -rw-r--r-- | taler-fc19/paper.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex index d17f8f2..fe6f595 100644 --- a/taler-fc19/paper.tex +++ b/taler-fc19/paper.tex @@ -879,8 +879,8 @@ Using these primitives, we now instantiate the syntax: \item $\algo{Spend}(\V{transactionId}, f, \V{coin}, \V{pkMerchant})$:
The deposit permission is computed as $\V{depositPermission} = (\V{pkCoin},
- \sigma_D, m)$ where $m = (\V{transactionId}, f, \V{pkMerchant})$ and $\sigma_D
- = \algo{Sign}_{CSK}(skCoin, m)$.
+ \sigma_D, m)$ where $m := (\V{transactionId}, f, \V{pkMerchant})$ and $\sigma_D
+ := \algo{Sign}_{CSK}(skCoin, m)$.
\item $\algo{Deposit}(\prt{E}(\V{sksE}, \V{pkMerchant}), \prt{M}(\V{skMerchant}, \V{pksE}, \V{depositPermission}))$:
|