[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] [taler-exchange] 01/04: starting with exculpability
From: |
gnunet |
Subject: |
[GNUnet-SVN] [taler-exchange] 01/04: starting with exculpability |
Date: |
Tue, 16 May 2017 14:14:06 +0200 |
This is an automated email from the git hooks/post-receive script.
grothoff pushed a commit to branch master
in repository exchange.
commit 024dc5625915db78e03614b44c64543ac4de2a15
Author: Christian Grothoff <address@hidden>
AuthorDate: Tue May 16 13:40:29 2017 +0200
starting with exculpability
---
doc/paper/taler.tex | 42 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 42 insertions(+)
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex
index 8b48ad8..7dd42b8 100644
--- a/doc/paper/taler.tex
+++ b/doc/paper/taler.tex
@@ -1555,7 +1555,49 @@ protocol is never used. Furthermore, if a customer
needs to recover
control over a coin using the linking protocol, they can use the
refresh protocol on the result to again obtain an unlinkable coin.
+\section{Exculpability arguments}
+\begin{lemma}
+The exchange can detect and prove double-spending.
+\end{lemma}
+
+\begin{proof}
+\end{proof}
+
+\begin{lemma}
+Merchants and customers can verify double-spending proofs.
+\end{lemma}
+
+\begin{proof}
+\end{proof}
+
+
+\begin{lemma}
+Customers can either obtain proof-of-payment or their money back.
+\end{lemma}
+
+\begin{proof}
+\end{proof}
+
+\begin{lemma}
+If a customer paid for a contract, they can prove it.
+\end{lemma}
+
+\begin{proof}
+\end{proof}
+
+\begin{lemma}
+The merchant can issue refunds, and only to the original customer.
+\end{lemma}
+
+\begin{proof}
+\end{proof}
+
+
+
+\begin{theorem}
+ The protocol prevents double-spending and provides exculpability.
+\end{theorem}
\end{document}
--
To stop receiving notification emails like this one, please contact
address@hidden