diff options
author | Florian Dold <florian.dold@gmail.com> | 2018-04-21 16:41:55 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2018-04-21 16:41:55 +0200 |
commit | 5df39a720eb4efc575b70a6021b0600ed865ac56 (patch) | |
tree | 62e7dab84fe7958a6301c0ff468606c4b23b2e9e /games | |
parent | 49122f71174018a80237e07a34a8b286f8f8b3bb (diff) | |
download | papers-5df39a720eb4efc575b70a6021b0600ed865ac56.tar.gz papers-5df39a720eb4efc575b70a6021b0600ed865ac56.tar.bz2 papers-5df39a720eb4efc575b70a6021b0600ed865ac56.zip |
completion of refresh operations
Diffstat (limited to 'games')
-rw-r--r-- | games/games.tex | 3 |
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$. |