summaryrefslogtreecommitdiff
path: root/taler-fc19/paper.tex
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-09-25 10:31:07 +0200
committerChristian Grothoff <christian@grothoff.org>2018-09-25 10:31:13 +0200
commit45c81d9e0376a0a8831a65266fe7400992c40111 (patch)
tree11224e0136ebd877ea99bf37096bcdabb57da49e /taler-fc19/paper.tex
parent5ded568f83b7eb405c4e74c3a9142e7b25d718b6 (diff)
downloadpapers-45c81d9e0376a0a8831a65266fe7400992c40111.tar.gz
papers-45c81d9e0376a0a8831a65266fe7400992c40111.tar.bz2
papers-45c81d9e0376a0a8831a65266fe7400992c40111.zip
must be ZK
Diffstat (limited to 'taler-fc19/paper.tex')
-rw-r--r--taler-fc19/paper.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index e863d19..a5f1b0f 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -749,7 +749,7 @@ is the signer and $\mathcal{R}$ is the signature requester:
\begin{itemize}
\item $\algo{KeyGen}_{BS}(1^\lambda) \mapsto (\V{sk}, \V{pk})$ is the key generation algorithm
for the signer of the blind signature protocol.
- \item $\algo{Blind}_{BS}(\mathcal{S}(\V{sk}), \mathcal{R}(\V{pk}, m)) \mapsto (\overline{m}, r)$ is a possibly interactive protocol
+ \item $\algo{Blind}_{BS}(\mathcal{S}(\V{sk}), \mathcal{R}(\V{pk}, m)) \mapsto (\overline{m}, r)$ is a possibly interactive zero-knowledge protocol
to blind a message $m$ that is to be signed later. The result is a blinded message $\overline{m}$ and
a residual $r$ that allows to unblind a blinded signature on $m$ made by $\V{sk}$.
\item $\algo{Sign}_{BS}(\mathcal{S}(\V{sk}), \mathcal{R}(\overline{m})) \mapsto