[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] [taler-exchange] branch master updated: add sentence on dou
From: |
gnunet |
Subject: |
[GNUnet-SVN] [taler-exchange] branch master updated: add sentence on double-spending detection during refresh |
Date: |
Tue, 16 May 2017 15:07:37 +0200 |
This is an automated email from the git hooks/post-receive script.
grothoff pushed a commit to branch master
in repository exchange.
The following commit(s) were added to refs/heads/master by this push:
new ef71452 add sentence on double-spending detection during refresh
ef71452 is described below
commit ef71452e8c0af5d73b786b69646f5dc5851f077f
Author: Christian Grothoff <address@hidden>
AuthorDate: Tue May 16 15:07:37 2017 +0200
add sentence on double-spending detection during refresh
---
doc/paper/taler.tex | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex
index 6f1be80..774300e 100644
--- a/doc/paper/taler.tex
+++ b/doc/paper/taler.tex
@@ -1013,7 +1013,10 @@ than the comparable use of zk-SNARKs in
ZeroCash~\cite{zerocash}.
for $i \in \{1,\ldots,\kappa\}$ and sends a signed commitment
$S_{C'}(\vec{B}, \vec{T_p})$ to the exchange.
\item % [200 OK / 409 CONFLICT]
- The exchange generates a random $\gamma$ with $1 \le \gamma \le \kappa$ and
+ The exchange checks that $C'_p$ is a valid coin of sufficient balance
+ to cover the value of the fresh coins to be generated and prevent
+ double-spending. Then,
+ the exchange generates a random $\gamma$ with $1 \le \gamma \le \kappa$ and
marks $C'_p$ as spent by persisting
$\langle C', \gamma, S_{C'}(\vec{B}, \vec{T_p}) \rangle$.
Auditing processes should assure that $\gamma$ is unpredictable until
--
To stop receiving notification emails like this one, please contact
address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [GNUnet-SVN] [taler-exchange] branch master updated: add sentence on double-spending detection during refresh,
gnunet <=