diff --git a/tex-stuff/math.tex b/tex-stuff/math.tex index b4ad0e9..1035abb 100644 --- a/tex-stuff/math.tex +++ b/tex-stuff/math.tex @@ -31,7 +31,7 @@ $v = xg_1$ and $w = xg_2$. Alice proves that an El Gamal encrypted value $(\alpha, \beta) = (m + ry, rg)$ either decrypts to $0$ or to the fixed value $g$ without revealing which is the -case, in other words, it is shown that $m \epsilon \{0, g\}$. +case, in other words, it is shown that $m \in \{0, g\}$. If $m = 0$: