From 19033df207afa602f84896370294cb9c0ec1cb45 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Fri, 10 Nov 2017 17:16:18 +0100 Subject: fix kappa in income transparency game --- games/games.tex | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'games') diff --git a/games/games.tex b/games/games.tex index 46abb59..82825cc 100644 --- a/games/games.tex +++ b/games/games.tex @@ -210,11 +210,14 @@ Intuition: Adversary wins if money is in exclusive control of corrupted players \item wallets of all non-corrupted users are augmented with their transitive closure via the \algo{Link} protocol \item all coins from wallets of non-corrupted users are marked as spent \item let $V_r$ be the number of valid non-spent coins in $(C_1, \dots, C_\ell)$ and $V_w$ the number of coins withdrawn by corrupted users - \item adversary wins if $\kappa V_r > V_w$. + \item adversary wins if $V_r > V_w$. \end{enumerate} Income transparency implies unforgeability. +Note that we want to show in the end that the probability of winning one Income Transparency game is at most $1/\kappa$. +This is why $\kappa$ does not appear directly in the proof. + \subsection{Others?} Let adversary distinguish between freshly withdrawn coin and coin obtained via refresh protocol. Why? -- cgit v1.2.3