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

use 'fresh' to clarify

Browse Source
This commit is contained in:
Christian Grothoff 2017-05-19 23:31:50 +02:00
parent b4410ac5f6
commit 6876e3178d
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/paper/taler.tex
View File

@ -1274,7 +1274,7 @@ exchange.
\begin{theorem} \begin{theorem}
Let $C$ denote a coin controlled by users Alice and Bob. Let $C$ denote a coin controlled by users Alice and Bob.
Suppose Bob creates a coin $C'$ from $C$ following the refresh protocol. Suppose Bob creates a fresh coin $C'$ from $C$ following the refresh protocol.
Assuming the exchange and Bob operated the refresh protocol correctly, Assuming the exchange and Bob operated the refresh protocol correctly,
and that the exchange continues to operate the linking protocol and that the exchange continues to operate the linking protocol
in \S\ref{subsec:linking} correctly, in \S\ref{subsec:linking} correctly,