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

attempt to clarify double spending

Browse Source
This commit is contained in:
Christian Grothoff 2015-09-28 08:53:01 +02:00
parent bf8b9d1435
commit 3f0a0c8f71
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/paper/taler.tex
View File

@ -745,7 +745,8 @@ $\widetilde{C} := S_K(C_p)$:
only to the mint.
\item The mint validates $\mathcal{D}$ and checks for double spending.
If the coin has been involved in previous transactions, it sends an error
If the coin has been involved in previous transactions and the new
one would exceed its remaining value, it sends an error
with the records from the previous transactions back to the merchant.
%
If double spending is not found, the mint commits $\langle \mathcal{D} \rangle$ to disk
@ -1113,7 +1114,8 @@ an exclusive right to redeem deposit permissions for the coin for a
limited duration. The merchant uses the lock permission to determine
if the coin has already been spent and to ensure that it cannot be
spent by another merchant for the {\em duration} of the lock as
specified in the lock permission. If the coin has been spent or is
specified in the lock permission. If the coin has insufficient funds
because too much has been spent or is
already locked, the mint provides the owner's deposit or locking
request and signature to prove the attempted fraud by the customer.
Otherwise, the mint locks the coin for the expected duration of the