Double spending is detected only if it present

This commit is contained in:
Sree Harsha Totakura 2015-08-24 11:22:38 +02:00
parent 6cef7af5c9
commit 0c16a9faea

View File

@ -671,7 +671,7 @@ $\widetilde{C} := S_K(C_p)$:
\item The merchant gives $(\mathcal{D}, p, r)$ to the mint, revealing his
payment information.
\item The mint validates $\mathcal{D}$ and detects double spending.
\item The mint validates $\mathcal{D}$ and checks for double spending.
If the coin has been involved in previous transactions, it sends an error
with the records from the previous transactions back to the merchant.