diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-05-17 16:31:41 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-05-17 16:31:41 +0200 |
commit | 191bcd67f896272da313b958b97d37a6da27995a (patch) | |
tree | 5af3b8b8a1a347f15b21d2dd60f38c460aad08b1 /doc/paper/taler.tex | |
parent | e86133118a454164b4294eb15c014374818f9138 (diff) | |
download | exchange-191bcd67f896272da313b958b97d37a6da27995a.tar.xz |
explain what 'persist' means on first usage
Diffstat (limited to 'doc/paper/taler.tex')
-rw-r--r-- | doc/paper/taler.tex | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex index f71dead7e..ba1536f2e 100644 --- a/doc/paper/taler.tex +++ b/doc/paper/taler.tex @@ -821,9 +821,13 @@ interaction with the exchange: \begin{itemize} \item reserve key $W := (w_s,W_p)$ with private key $w_s$ and public key $W_p := w_sG$, \item coin key $C := (c_s,C_p)$ with private key $c_s$ and public key $C_p := c_s G$, - \item blinding factor $b$, and persists $\langle W, C, b \rangle$. + \item blinding factor $b$ \end{itemize} - The customer then transfers an amount of money corresponding to + The customer first persists\footnote{When we say ``persist'', we mean that the value + is stored in such a way that it can be recovered after a system crash, and + the protocol execution can be re-tried from a checkpoint + without losing money sent in the next step.} $\langle W, C, b \rangle$. + Then the customer transfers an amount of money corresponding to at least $K_v$ to the exchange, with $W_p$ in the subject line of the transaction. \item |