taler/exchange
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Make double pending Exculpability section about prevention

Browse Source
This commit is contained in:
Jeffrey Burdges 2017-05-17 23:58:31 +02:00
parent 4689610a1f
commit 02a3f3d96e
No known key found for this signature in database
GPG Key ID: ABAC7FD1CC100A74
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
doc/paper/taler.tex
View File

@ -1407,7 +1407,7 @@ protocol is never used.
\subsection{Exculpability arguments} \subsection{Exculpability arguments}
\begin{lemma}\label{lemma:double-spending} \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} \end{lemma}
\begin{proof} \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 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 respective operation. If the exchange has a set of refresh-records and
deposit-permissions whose total value exceed the value of the coin, the 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} \end{proof}
\begin{corollary} \begin{corollary}
Merchants and customers can verify double-spending proofs by verifying that the Merchants and customers can verify proofs of double-spending attempts
signatures in the set of refresh-records and deposit-permissions are correct and by verifying that the signatures in the set of refresh-records and
that the total value exceeds the coin's value. deposit-permissions are correct and that the total value would exceed
the coin's value.
\end{corollary} \end{corollary}
\begin{lemma} \begin{lemma}