diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-09-25 10:22:29 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-09-25 10:22:29 +0200 |
commit | 6318b2836fbee3c21e83a1c2d33a87981e34fe4a (patch) | |
tree | 8201ddb0ca9840aa578206c8a43cd7f4485b1680 | |
parent | 020ddeca0a98028a026a19ff3b9e524e5652c6e3 (diff) | |
download | papers-6318b2836fbee3c21e83a1c2d33a87981e34fe4a.tar.gz papers-6318b2836fbee3c21e83a1c2d33a87981e34fe4a.tar.bz2 papers-6318b2836fbee3c21e83a1c2d33a87981e34fe4a.zip |
undo no unblinding for \sigma_x -- x is also not blinded
-rw-r--r-- | taler-fc19/paper.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex index 2d173b7..e69c073 100644 --- a/taler-fc19/paper.tex +++ b/taler-fc19/paper.tex @@ -790,7 +790,7 @@ We require the following two security properties for $\textsc{BlindSign}$: m \randsel M, \\
\sigma \leftarrow \algo{UnblindSig}_{BS}(r, m, \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), m)) ) \\
x \randsel \overline{M}, \\
- \sigma_x \leftarrow \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), x))
+ \sigma_x \leftarrow \algo{UnblindSig}_{BS}(r, x, \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), x)) )
\end{array}
\right\}. \]
\item \emph{unforgeability}: An adversary that requests $k$ signatures with $\algo{Sign}_{BS}$
|