diff options
author | Florian Dold <florian.dold@gmail.com> | 2018-09-25 13:01:22 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2018-09-25 13:01:22 +0200 |
commit | 2393ab3a4d1c24d70c0f56f1514100e4abb17efd (patch) | |
tree | b80d94eb63f2db8e62bcccffb33f6cfe307a0537 /taler-fc19 | |
parent | 973b974fabd14a7a63110f5e06fb404c38ae4b59 (diff) | |
download | papers-2393ab3a4d1c24d70c0f56f1514100e4abb17efd.tar.gz papers-2393ab3a4d1c24d70c0f56f1514100e4abb17efd.tar.bz2 papers-2393ab3a4d1c24d70c0f56f1514100e4abb17efd.zip |
remove zero-knowledge
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 c82f33f..97fb55c 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 zero-knowledge protocol
+ \item $\algo{Blind}_{BS}(\mathcal{S}(\V{sk}), \mathcal{R}(\V{pk}, m)) \mapsto (\overline{m}, r)$ is a possibly interactive 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
|