From 49122f71174018a80237e07a34a8b286f8f8b3bb Mon Sep 17 00:00:00 2001 From: Jeff Burdges Date: Sat, 21 Apr 2018 16:18:05 +0200 Subject: Explination --- games/games.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'games') diff --git a/games/games.tex b/games/games.tex index 4ec2d2f..12fb0a8 100644 --- a/games/games.tex +++ b/games/games.tex @@ -428,7 +428,7 @@ Let \oraSet{Fair} stand for access to the oracles \item Let $C_0, \dots, C_n$ be the coins reachable via \algo{Link} from $C_0$. We note the user obtains unlinkable change through refreshes, which merely extend this list. \item Return 0 if either $U$ was corrupted or \ora{Share} was called with any of $C_0, \dots, C_n$. - \item For each $C \in \{C_0, \dots, C_n\}$, do the following: + \item For each $C \in \{C_0, \dots, C_n\}$, we check if the exchange's database records value transfers not present in the user's wallet's database: \begin{enumerate}[label*=\arabic*.] \item Return 1 if $\V{deposited}[C]$ contains a contract not appearing in the wallet's database $\V{acceptedContracts}[U]$. \item Return 1 if the total value $r_E$ of attempted refreshes in $\V{refreshed}[C]$ exceeds the total value $r_U$ of coins in $C_0, \dots, C_n$ directly reachable in one link from $C$. We note $r_E$ includes refreshes that failed due to dishonesty, but not refreshes that failed to authenticate as $C$. -- cgit v1.2.3