diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-09-25 10:20:16 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-09-25 10:20:25 +0200 |
commit | 020ddeca0a98028a026a19ff3b9e524e5652c6e3 (patch) | |
tree | 233e01408375c3c9a89babac0eef09fdc7c161f3 /taler-fc19 | |
parent | e50f9e20e39f64af5e95560b965f68e2c1206ae5 (diff) | |
download | papers-020ddeca0a98028a026a19ff3b9e524e5652c6e3.tar.gz papers-020ddeca0a98028a026a19ff3b9e524e5652c6e3.tar.bz2 papers-020ddeca0a98028a026a19ff3b9e524e5652c6e3.zip |
no unblinding for \sigma_x
Diffstat (limited to 'taler-fc19')
-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 e69c073..2d173b7 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{UnblindSig}_{BS}(r, x, \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), x)) )
+ \sigma_x \leftarrow \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}$
|