From 5df39a720eb4efc575b70a6021b0600ed865ac56 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sat, 21 Apr 2018 16:41:55 +0200
Subject: completion of refresh operations

---
 games/games.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'games')

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$.  
-- 
cgit v1.2.3