From 9429d7b4761cb7a079b80877d8f94006fc65070a Mon Sep 17 00:00:00 2001 From: Jeffrey Burdges Date: Wed, 22 Nov 2017 16:30:13 +0100 Subject: Fix second game --- games/games.tex | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'games') diff --git a/games/games.tex b/games/games.tex index 71c87b2..3628a44 100644 --- a/games/games.tex +++ b/games/games.tex @@ -211,16 +211,17 @@ with these two lines. \begin{enumerate} \setlength\itemsep{0em} \item[2] $(P_0, P_1, \V{contract}_0, \V{contract}_1) \leftarrow {\cal A}^{\oraSet{Anon}}()$ \\ - Our creates invokes oracles to create users and give them coins. - It returns two planchets $P_0$ and $P_1$ and two contracts - $\V{contract}_0$ and $\V{contract}_1$. - Our adversary creates two users and two contract, - along with some coins open which it calls oracles freely. + Our adversary invokes oracles to create users, as well as + create and manipulate their coins. + It singles out two coin creating invokations, either withdrawals + or refreshes, by returning the planchets $P_0$ and $P_1$. + It returns two two contracts $\V{contract}_0$ and $\V{contract}_1$ as well. \item[3] - We demand that valid unspent coins $\V{pkC}_0$ and $\V{pkC}_1$ to + We demand that valid unspent coins $\V{pkC}_0$ and $\V{pkC}_1$ have been created from the planchets $P_0$ and $P_1$ respectively. - Also let $\V{pkU}_1$ and $\V{pkU}_2$ denote the refistered users - who withdrew these respective coins, not necessarily distinct. + Also let $\V{pkU}_1$ and $\V{pkU}_2$ denote the registered users + who obtained these respective coins coins through withdrawal or + refresh, but note $\V{pkU}_1$ and $\V{pkU}_2$ need not be distinct. Return 0 either if any of these do not exist, including if $\V{pkC}_0$ or $\V{pkC}_1$ were spent. % \item[5] -- cgit v1.2.3