From 45c81d9e0376a0a8831a65266fe7400992c40111 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 25 Sep 2018 10:31:07 +0200 Subject: must be ZK --- taler-fc19/paper.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3