added penalty for cheating

eipsi2024/eipsi2024.tex

@@ -527,10 +527,11 @@ Searching for functions \uncover<2->{with the following signatures}
 		\item trusts outcome with $\frac{\kappa-1}{\kappa}$ certainty,
 		\item i.e. $\Child$ has $\frac{1}{\kappa}$ chance to cheat.
 		\item<2->[$\implies$] \textbf{Gives us unlinkability at the price of (adjustable) uncertainty!}
+		\item<3-> (Cheating will be discouraged by penalizing it economically)
 	\end{itemize}
 
 	\vfill
-	\uncover<3->{Notes:
+	\uncover<4->{Notes:
 		\begin{itemize}
 			\item similar to the cut\&choose {\it refresh} protocol in GNU Taler
 			\item still need to define $\Derive()$ and $\Compare()$.