diff options
author | Jeffrey Burdges <burdges@gnunet.org> | 2017-11-22 16:30:13 +0100 |
---|---|---|
committer | Jeffrey Burdges <burdges@gnunet.org> | 2017-11-22 16:30:13 +0100 |
commit | 9429d7b4761cb7a079b80877d8f94006fc65070a (patch) | |
tree | 5286aee4cc5e94baf240ae6a338b783b85833d39 /games | |
parent | 8643b9ee28acdbca75f3e65c0507fa3419e9bb07 (diff) | |
download | papers-9429d7b4761cb7a079b80877d8f94006fc65070a.tar.gz papers-9429d7b4761cb7a079b80877d8f94006fc65070a.tar.bz2 papers-9429d7b4761cb7a079b80877d8f94006fc65070a.zip |
Fix second game
Diffstat (limited to 'games')
-rw-r--r-- | games/games.tex | 17 |
1 files changed, 9 insertions, 8 deletions
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] |