diff options
-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}))$:
|