summaryrefslogtreecommitdiff
path: root/games
diff options
context:
space:
mode:
authorJeffrey Burdges <burdges@gnunet.org>2017-11-22 16:30:13 +0100
committerJeffrey Burdges <burdges@gnunet.org>2017-11-22 16:30:13 +0100
commit9429d7b4761cb7a079b80877d8f94006fc65070a (patch)
tree5286aee4cc5e94baf240ae6a338b783b85833d39 /games
parent8643b9ee28acdbca75f3e65c0507fa3419e9bb07 (diff)
downloadpapers-9429d7b4761cb7a079b80877d8f94006fc65070a.tar.gz
papers-9429d7b4761cb7a079b80877d8f94006fc65070a.tar.bz2
papers-9429d7b4761cb7a079b80877d8f94006fc65070a.zip
Fix second game
Diffstat (limited to 'games')
-rw-r--r--games/games.tex17
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]