diff options
author | Jeff Burdges <burdges@gnunet.org> | 2018-09-15 15:31:48 +0200 |
---|---|---|
committer | Jeff Burdges <burdges@gnunet.org> | 2018-09-15 15:31:48 +0200 |
commit | 542881fab046e294b302596eba5e80cf35f1c29b (patch) | |
tree | 7a0fe55eaff1e830afbe6f08380f12af5a875e4a | |
parent | b80aeaf149146a1cb57caabf1205f2a42f015c80 (diff) | |
download | papers-542881fab046e294b302596eba5e80cf35f1c29b.tar.gz papers-542881fab046e294b302596eba5e80cf35f1c29b.tar.bz2 papers-542881fab046e294b302596eba5e80cf35f1c29b.zip |
UnblindSig m issue
-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 db7fd45..fde7bf4 100644 --- a/taler-fc19/paper.tex +++ b/taler-fc19/paper.tex @@ -763,7 +763,7 @@ is the signer and $\mathcal{R}$ is the signature requester: using the $r$ returned from the corresponding blinding operation before
verification. We restrict \algo{Sign} to be a two-move protocol, where the
requester sends the first message, and the signer responds.
- \item $\algo{UnblindSig}_{BS}(r, \overline{m}, \overline{\sigma}) \mapsto \sigma$
+ \item $\algo{UnblindSig}_{BS}(r, m, \overline{\sigma}) \mapsto \sigma$
is an algorithm to unblind a blinded signature.
\item $\algo{Verify}_{BS}(\V{pk}, m, \sigma) \mapsto b$ is a algorithm to check the validity of a blind
signature. Returns $1$ if the signature $\sigma$ was valid for $m$ and $0$ otherwise.
|