From 191bcd67f896272da313b958b97d37a6da27995a Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
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

