From 191bcd67f896272da313b958b97d37a6da27995a Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Wed, 17 May 2017 16:31:41 +0200 Subject: explain what 'persist' means on first usage --- doc/paper/taler.tex | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'doc/paper/taler.tex') 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 -- cgit v1.2.3