summaryrefslogtreecommitdiff
path: root/games
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-04-21 16:41:55 +0200
committerFlorian Dold <florian.dold@gmail.com>2018-04-21 16:41:55 +0200
commit5df39a720eb4efc575b70a6021b0600ed865ac56 (patch)
tree62e7dab84fe7958a6301c0ff468606c4b23b2e9e /games
parent49122f71174018a80237e07a34a8b286f8f8b3bb (diff)
downloadpapers-5df39a720eb4efc575b70a6021b0600ed865ac56.tar.gz
papers-5df39a720eb4efc575b70a6021b0600ed865ac56.tar.bz2
papers-5df39a720eb4efc575b70a6021b0600ed865ac56.zip
completion of refresh operations
Diffstat (limited to 'games')
-rw-r--r--games/games.tex3
1 files changed, 3 insertions, 0 deletions
diff --git a/games/games.tex b/games/games.tex
index 12fb0a8..db1a2df 100644
--- a/games/games.tex
+++ b/games/games.tex
@@ -423,6 +423,9 @@ Let \oraSet{Fair} stand for access to the oracles
\setlength\itemsep{0em}
\item $(skE, pkE) \leftarrow \mathrm{ExchangeKeygen}(1^\lambda, 1^\kappa, M)$
\item $C_0 \leftarrow {\cal A}^{\oraSet{Fair}}(pkExchange)$
+ \item The simulator runs all refresh operations to conclusion by looking for
+ partial refresh transcripts. We assume additional state in the wallet of
+ each user to finish refresh operations.
\item If $C_0$ is not a coin public key, return 0.
Also let $U$ be the user that has $C_0$ in their wallet. If no such $U$ exists, return 0.
\item Let $C_0, \dots, C_n$ be the coins reachable via \algo{Link} from $C_0$.