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

more clarifications

Browse Source
This commit is contained in:
Christian Grothoff 2015-09-28 12:05:20 +02:00
parent de384cfd82
commit 0e48396f7e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
doc/paper/taler.tex
View File

@ -712,8 +712,8 @@ withdraw funds, those can also be used with Taler.
A customer can spend coins at a merchant, under the condition that the A customer can spend coins at a merchant, under the condition that the
merchant trusts the specific mint that minted the coin. Merchants are merchant trusts the specific mint that minted the coin. Merchants are
identified by their public key $M := (m_s, M_p)$, which must be known identified by their key $M := (m_s, M_p)$ where the public key $M_p$
to the customer apriori. must be known to the customer apriori.
The following steps describe the protocol between customer, merchant and mint The following steps describe the protocol between customer, merchant and mint
for a transaction involving a coin $C := (c_s, C_p)$, which was previously signed for a transaction involving a coin $C := (c_s, C_p)$, which was previously signed
@ -854,7 +854,7 @@ generator of the elliptic curve.
\item \label{step:refresh-done} If the commitments were consistent, \item \label{step:refresh-done} If the commitments were consistent,
the mint sends the blind signature $\widetilde{C} := the mint sends the blind signature $\widetilde{C} :=
S_{K}(B^{(\gamma)})$ to the customer. Otherwise, the mint responds S_{K}(B^{(\gamma)})$ to the customer. Otherwise, the mint responds
with an error the value of $C'$. with an error indicating the location of the failure.
\end{enumerate} \end{enumerate}
%\subsection{N-to-M Refreshing} %\subsection{N-to-M Refreshing}
@ -1147,7 +1147,7 @@ coin first.
in the form of existing \emph{deposit-permission} or in the form of existing \emph{deposit-permission} or
lock-permission records for $\widetilde{C}$. If such records exist lock-permission records for $\widetilde{C}$. If such records exist
and indicate that insufficient funds are left, the mint sends those and indicate that insufficient funds are left, the mint sends those
records to the merchant, who can then use it prove the double records to the merchant, who can then use the records to prove the double
spending to the customer. spending to the customer.
If double spending is not found, If double spending is not found,