diff options
author | Jeffrey Burdges <burdges@gnunet.org> | 2017-05-17 23:58:31 +0200 |
---|---|---|
committer | Jeffrey Burdges <burdges@gnunet.org> | 2017-05-17 23:58:31 +0200 |
commit | 02a3f3d96e37edf0ca47b83743ce8bec8256bc51 (patch) | |
tree | ed476c32f7c1a968b50a88234186bbedb0658046 /doc/paper/taler.tex | |
parent | 4689610a1ff704193ce8a5c9eb0867efbf48c710 (diff) |
Make double pending Exculpability section about prevention
Diffstat (limited to 'doc/paper/taler.tex')
-rw-r--r-- | doc/paper/taler.tex | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex index 080cb7f2d..a2b96809e 100644 --- a/doc/paper/taler.tex +++ b/doc/paper/taler.tex @@ -1407,7 +1407,7 @@ protocol is never used. \subsection{Exculpability arguments} \begin{lemma}\label{lemma:double-spending} -The exchange can detect and prove double-spending. +The exchange can detect, prevent, and prove double-spending. \end{lemma} \begin{proof} @@ -1417,13 +1417,15 @@ obtains either a deposit-permission or a refresh-record, both of which contain a signature made with the public key of coin to authorizing the respective operation. If the exchange has a set of refresh-records and deposit-permissions whose total value exceed the value of the coin, the -exchange can show this set to prove that double-spending was attempted. +exchange can show this set to prove that double-spending is being +attempted and justify rejecting the operation. \end{proof} \begin{corollary} -Merchants and customers can verify double-spending proofs by verifying that the -signatures in the set of refresh-records and deposit-permissions are correct and -that the total value exceeds the coin's value. +Merchants and customers can verify proofs of double-spending attempts +by verifying that the signatures in the set of refresh-records and +deposit-permissions are correct and that the total value would exceed +the coin's value. \end{corollary} \begin{lemma} |