summaryrefslogtreecommitdiff
path: root/doc/paper
diff options
context:
space:
mode:
authorJeffrey Burdges <burdges@gnunet.org>2017-05-17 23:58:31 +0200
committerJeffrey Burdges <burdges@gnunet.org>2017-05-17 23:58:31 +0200
commit02a3f3d96e37edf0ca47b83743ce8bec8256bc51 (patch)
treeed476c32f7c1a968b50a88234186bbedb0658046 /doc/paper
parent4689610a1ff704193ce8a5c9eb0867efbf48c710 (diff)
downloadexchange-02a3f3d96e37edf0ca47b83743ce8bec8256bc51.tar.gz
exchange-02a3f3d96e37edf0ca47b83743ce8bec8256bc51.tar.bz2
exchange-02a3f3d96e37edf0ca47b83743ce8bec8256bc51.zip
Make double pending Exculpability section about prevention
Diffstat (limited to 'doc/paper')
-rw-r--r--doc/paper/taler.tex12
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}