summaryrefslogtreecommitdiff
path: root/taler-fc19/paper.tex
diff options
context:
space:
mode:
Diffstat (limited to 'taler-fc19/paper.tex')
-rw-r--r--taler-fc19/paper.tex7
1 files changed, 5 insertions, 2 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index 2b9f1bd..ef3368d 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -1293,8 +1293,11 @@ Our instantiation satisfies {weak income transparency}.
where the expectation runs over
any probability space used by the adversary and challenger.
- We shall optimize our adversary in ways that maximize $p \over b + p$.
- %TODO: Explain. % We cannot actually produce this optimize adversary ourselves, but its existence suffices to prove the inequality, and restrict our analysis to them. This is not a reduction
+ We shall optimize our adversary in ways that maximize $p \over b + p$ by
+ proving the optimised adversary exists. We may then restrict our analysis
+ to these optimised adversaries, which suffices for our game result, but
+ note that reductions would not permit this trick.
+ %TODO: Improve??
As a reminder, if a refresh operation is initiated using a false commitment
that is detected by the exchange, then the new coin cannot be obtained, and