diff options
Diffstat (limited to 'games')
-rw-r--r-- | games/games.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/games/games.tex b/games/games.tex index 1934593..854f7c2 100644 --- a/games/games.tex +++ b/games/games.tex @@ -175,9 +175,9 @@ Let \oraSet{Anon} stand for access to the oracles \ora{AddClient}, \ora{Withdraw another transaction until refreshing them.} \item $b \randsel{} \{0,1\}$ \comment{Random bit selected by challenger} - \item Select unshared unspent coins $\V{pkC}_0$ and $\V{pkC}_1$ from - the wallets of $\V{pkU}_0, \V{pkU}_1$, respectively. Return 0 if - either $\V{pkU}_0$ or $\V{pkU}_1$ has no unspent unshared coin. + \item Select unspent coins $\V{pkC}_0$ and $\V{pkC}_1$ from + the wallets of $\V{pkU}_0, \V{pkU}_1$, respectively. Return 0 + if either $\V{pkU}_0$ or $\V{pkU}_1$ has no unspent coin. \item $\V{dp_1} \leftarrow \algo{Spend}(\V{contract}_b, \emptyset, \V{pkC}_b, \V{pkM})$, \\ $\V{dp_2} \leftarrow \algo{Spend}(\V{contract}_{(1-b)}, \emptyset, \V{pkC}_{(1-b)}, \V{pkM})$ \\ Spend these two coins without revealing the customer's identity. |