diff options
-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$. |