summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2017-05-17 16:31:41 +0200
committerFlorian Dold <florian.dold@gmail.com>2017-05-17 16:31:41 +0200
commit191bcd67f896272da313b958b97d37a6da27995a (patch)
tree5af3b8b8a1a347f15b21d2dd60f38c460aad08b1 /doc
parente86133118a454164b4294eb15c014374818f9138 (diff)
downloadexchange-191bcd67f896272da313b958b97d37a6da27995a.tar.gz
exchange-191bcd67f896272da313b958b97d37a6da27995a.tar.bz2
exchange-191bcd67f896272da313b958b97d37a6da27995a.zip
explain what 'persist' means on first usage
Diffstat (limited to 'doc')
-rw-r--r--doc/paper/taler.tex8
-rw-r--r--doc/paper/taler_FC2017.txt8
2 files changed, 14 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
diff --git a/doc/paper/taler_FC2017.txt b/doc/paper/taler_FC2017.txt
index b00eb067d..daf13138a 100644
--- a/doc/paper/taler_FC2017.txt
+++ b/doc/paper/taler_FC2017.txt
@@ -133,6 +133,14 @@ Specific comments:
selected from? What does it mean to “commit to disk”? The customer commits
and keeps the commitment local? Where is this used?
+> Yes, juxtaposition denotes multiplication. "commit to disk" has been
+> changed to "persist", the customer must persis the value before making the
+> bank transaction, so that they don't lose their reserve key should the system
+> crash. It is used to restart the operation in case of a crash.
+> Where the blinding factor "b" is selected from depends on the instantiation
+> of the protocol, it's simply a fresh blinding factor in the blind signature
+> scheme.
+
- Section 4.1, step 3, what is the key K used in FDH? Also is S_w(B) a standard
signature?