diff options
| author | Jeff Burdges <burdges@gnunet.org> | 2018-04-21 17:24:33 +0200 |
|---|---|---|
| committer | Jeff Burdges <burdges@gnunet.org> | 2018-04-21 17:24:33 +0200 |
| commit | cf25edf9975b8e28992fbc45200ce19946f3ecd5 (patch) | |
| tree | 61af89274ca35fbfe26ea85e3ae87fd9224b22d6 /games | |
| parent | ca8a160ba822b94ba0f478205e0486a4285d6a2e (diff) | |
| parent | 5df39a720eb4efc575b70a6021b0600ed865ac56 (diff) | |
| download | papers-cf25edf9975b8e28992fbc45200ce19946f3ecd5.tar.gz papers-cf25edf9975b8e28992fbc45200ce19946f3ecd5.tar.bz2 papers-cf25edf9975b8e28992fbc45200ce19946f3ecd5.zip | |
Merge branch 'master' of ssh://taler.net/papers
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 c789fb7..5aeffc6 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$. |