diff options
Diffstat (limited to 'doc/paper')
-rw-r--r-- | doc/paper/taler.tex | 8 | ||||
-rw-r--r-- | doc/paper/taler_FC2017.txt | 8 |
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? |