diff options
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 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.
|